Automatic Structural Abstraction Techniques for Enhanced Verification (2002)

by Jason Raymond Baumgartner
Citations:5 - 3 self

Active Bibliography

2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
663 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
4 Automatic Abstraction in Model Checking – Yuan Lu - 2000
770 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
1371 The model checker SPIN – Gerard J. Holzmann - 1997
2176 A theory of timed automata – Rajeev Alur - 1999
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
658 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
408 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001