1219 search results - page 59 / 244 » Verification of Equivalent-Results Methods |
233
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
116
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
115
click to vote
ICDCSW
2000
IEEE
15 years 6 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
121
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
124
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...