2881 search results - page 2 / 577 » Model Checking for Programming Languages using Verisoft |
ENTCS
2006
13 years 5 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
POPL
2009
ACM
14 years 6 months ago
2009
ACM
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
HVC
2007
Springer
13 years 9 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...