2881 search results - page 2 / 577 » Model Checking for Programming Languages using Verisoft |
ENTCS
2006
14 years 9 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...
PLDI
2011
ACM
14 years 10 days ago
2011
ACM
109
Voted
HVC
2007
Springer
15 years 1 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...
77
Voted
ESOP
2003
Springer
15 years 2 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 ...