Counterexample-guided Abstraction Refinement (2000)

by Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith
Citations:482 - 55 self

Active Bibliography

2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
3 Automatic Abstraction in Model Checking – Yuan Lu - 2000
112 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
17 Progress on the State Explosion Problem in Model Checking – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
22 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
4 Model Checking with formula-dependent abstract models – Alexander Asteroth, Christel Baier, Ulrich Aßmann - 2001
Validation of Automation Systems using Temporal Logic Model Checking and Groebner Bases – Quoc-nam Tran, Anjib Mulepati
4 Symmetry and induction in model checking – Edmund M. Clarke, Stephen Brookes - 1995
Specification and Verification of Reactive Systems with RSDS – Kalliopi Androutsopoulos - 2004
15 Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach – Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke - 2003
11 Combinations of model checking and theorem proving – Tomás E. Uribe - 2000
Distributed Symbolic Reachability Analysis by – Ming-ying Chung, Ming-ying Chung, Ming-ying Chung - 2007
33 Refining Model Checking by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1999
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction – Hong Peng - 2002
4 Automatic Structural Abstraction Techniques for Enhanced Verification – Jason Raymond Baumgartner - 2002
2 Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation – Himanshu Jain, Randal E. Bryant - 2008
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
34 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
1 Abstraction as the Key for Invariant Verification – Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate