Active Bibliography

2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
4 Automatic Abstraction in Model Checking – Yuan Lu - 2000
117 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
Abstraction Techniques for Verification of . . . – Constantin Enea - 2011
15 Progress on the State Explosion Problem in Model Checking – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
25 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
6 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
16 Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach – Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke - 2003
6 Symbolic model checking for temporal-epistemic logics – A. Lomuscio, W. Penczek - 2007
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
34 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
3 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