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:370 - 12 self

Active Bibliography

Software Model Checking: The VeriSoft Approach – Patrice Godefroid Bell - 2003
7 Systematic Software Testing using VeriSoft: An Analysis of the 4ESS Heart-Beat Monitor – Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan - 1998
13 On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems – Patrice Godefroid, Patrice Godefroid - 1997
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
7 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
117 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
4 Reliable Probabilistic Verification Using Hash Compaction – Pierre Wolper, Ulrich Stern, Denis Leroy, David L. Dill
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software – Patrice Godefroid Bell - 1997
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993
17 Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs – Matthew B. Dwyer - 1995
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs – Bernard Boigelot And, Bernard Boigelot, Bernard Boigelot, Patrice Godefroid, Patrice Godefroid - 1997
121 Evaluating Deadlock Detection Methods for Concurrent Software – James C. Corbett - 1996
70 Symbolic Verification with Periodic Sets – Bernard Boigelot, Pierre Wolper - 1994
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
32 Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs – James Corbett - 1998
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN – Bernard Boigelot And, Bernard Boigelot, Bernard Boigelot, Patrice Godefroid, Patrice Godefroid - 1996
14 Model Checking in Practice: An Analysis of the ACCESS.bus™ Protocol using SPIN – Bernard Boigelot, Patrice Godefroid - 1996
6 A Partial Order Reduction Algorithm without the Proviso – Ratan Nalumasu, Ganesh Gopalakrishnan - 1998