Symbolic Model Checking with Partitioned Transition Relations (1991)

by J. R. Burch , E. M. Clarke , D. E. Long
Citations:159 - 16 self

Active Bibliography

222 Symbolic model checking for sequential circuit verification – Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill - 1994
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
1 Formal Methods for Functional Verification – Randal E. Bryant, James H. Kukula
19 Efficient Verification with BDDs using Implicitly Conjoined Invariants – Alan J. Hu, David L. Dill - 1993
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
22 Higher-Level Specification and Verification with BDDs – Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang - 1992
7 Automatic Compositional Minimization in CTL Model Checking – Massimiliano Chiodo, Magneti Marelli Pavia, Thomas R. Shiple, Alberto L. Sangiovanni-vincentelli, Robert K. Brayton - 1992
1 Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares – Youpyo Hong - 1999
34 Refining Model Checking by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1999
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
26 New Techniques for Efficient Verification with Implicitly Conjoined BDDs – Alan J. Hu , Gary York, David L. Dill - 1994
99 Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories – Carl-johan H. Seger, Randal E. Bryant - 1993
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
10 Efficient Formal Design Verification: Data Structure + Algorithms – Rajeev K. Ranjan, Adnan Aziz, Robert K. Brayton, Bernard Plessier, Carl Pixley - 1994
Model Checking: Historical Perspective and Example (Extended Abstract) – Edmund M. Clarke, Sergey Berezin - 1998
574 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
15 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements – William Chan, Richard J. Anderson, Paul Beame, David Notkin - 1998
1 Specification, Simulation, and Verification of Timing Behavior – Tod Amon, Tod Amon - 1993