Automatic Structural Abstraction Techniques for Enhanced Verification (2002)

by Jason Raymond Baumgartner
Citations:4 - 3 self

Active Bibliography

2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
4 Automatic Abstraction in Model Checking – Yuan Lu - 2000
Abstraction Techniques for Verification of . . . – Constantin Enea - 2011
4 Symmetry and induction in model checking – Edmund M. Clarke, Stephen Brookes - 1995
8 LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects – Eran Yahav, Thomas Reps, Mooly Sagiv - 2001
42 Liveness Checking as Safety Checking – Armin Biere, Cyrille Artho, Viktor Schuppan - 2002
Distributed Symbolic Reachability Analysis by – Ming-ying Chung, Ming-ying Chung, Ming-ying Chung - 2007
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
24 A game-based framework for CTL counterexamples and 3-valued abstraction-refinement – Sharon Shoham, Orna Grumberg - 2003
Model Checking and the State Explosion Problem ⋆ – Edmund M. Clarke, William Klieber, Paolo Zuliani
Approximations in Model-Checking and Testing – M. C. Gaudel, F. Magniez, R. Lassaigne, M. De Rougemont
1 Model Checking: Back and Forth Between Hardware and Software – Edmund Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation – Edmund M. Clarke, E. Allen Emerson, In The Usa, Joseph Sifakis Working Independently
9 Linear Time Datalog and Branching Time Logic – Georg Gottlob, Erich Grädel, Helmut Veith
23 Datalog LITE: A deductive query language with linear time model checking – Georg Gottlob, Erich Grädel, Helmut Veith
5 Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks – Sadie Creese - 2001
5 Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV – Viktor Schuppan, Armin Biere - 2003
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
1 Model Checking and Deduction for Infinite-State Systems – Henny B. Sipma, Tomás E. Uribe, Tom'as E. Uribe, Zohar Manna