13383 search results - page 232 / 2677 » Abstractions from proofs |
188
click to vote
ENDM
2010
15 years 6 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
151
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
164
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
187
Voted
RSA
2008
15 years 6 months ago
2008
For a graph property P, the edit distance of a graph G from P, denoted EP (G), is the minimum number of edge modifications (additions or deletions) one needs to apply to G in orde...