Model Checking for Programming Languages using VeriSoft (1997)

Cached

Download Links

by Patrice Godefroid
Venue:IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:382 - 12 self

Active Bibliography

Software Model Checking: The VeriSoft Approach – Patrice Godefroid Bell
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
620 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
7 Systematic software testing using VeriSoft: An analysis of the 4ess heart-beat monitor – P Godefroid, B Hanmer, L Jagadeesan - 1998
13 On the Costs and Benefits of Using Partial-Order Methods for the Verification of Concurrent Systems – P Godefroid - 1997
1273 The model checker SPIN – Gerard J. Holzmann - 1997
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
578 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000