Symbolic Model Checking: 10 20 States and Beyond (1990)

by J. R. Burch , E. M. Clarke , K. L. Mcmillan , D. L. Dill , L. J. Hwang
Citations:573 - 30 self

Active Bibliography

2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
3 Distributed Symbolic Model Checking for μ-calculus – Orna Grumberg, Tamir Heyman, Assaf Schuster - 2001
222 Symbolic model checking for sequential circuit verification – Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill - 1994
4 Symmetry and induction in model checking – Edmund M. Clarke, Stephen Brookes - 1995
Report on Analysis and Verification Techniques – Peter Herrmann, Heiko Krumm - 1992
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
Model Checking: Historical Perspective and Example (Extended Abstract) – Edmund M. Clarke, Sergey Berezin - 1998
Local Model Checking in Park's µ-Calculus – Alexander Kick - 1996
57 An Improved Algorithm for the Evaluation of Fixpoint Expressions – A. Browne, E. M. Clarke, S. Jha, D. E. Long, W. Marrero - 1996
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
91 Tableau-Based Model Checking in the Propositional Mu-Calculus – Rance Cleaveland - 1990
Generation of Witnesses for Global µ-Calculus Model Checking – Alexander Kick
3 Modal µ-Calculus, Model Checking and Gauß Elimination – Angelika Mader - 1995
78 Model Checking for Context-Free Processes – Olaf Burkart, Bernhard Steffen - 1992
28 Automatic Abstraction Techniques for Propositional µ-calculus Model Checking – Abelardo Pardo, Gary D. Hachtel - 1997
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992