Boolean and Cartesian Abstraction for Model Checking C Programs (2001)

Cached

Download Links

by Thomas Ball , Andreas Podelski , Sriram K. Rajamani
Citations:159 - 13 self

Active Bibliography

17 Checking Temporal Properties of Software with Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
53 Incompleteness, Counterexamples and Refinements in Abstract Model-Checking – Roberto Giacobazzi, Elisa Quintarelli - 2001
27 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
16 Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach – Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke - 2003
29 Shape analysis through predicate abstraction and model checking – Dennis Dams, Kedar S. Namjoshi - 2003
32 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
63 Abstraction-based Model Checking using Modal Transition Systems – Patrice Godefroid, Michael Huth, Radha Jagadeesan - 2001
8 LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects – Eran Yahav, Thomas Reps, Mooly Sagiv - 2001
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
59 Relative Completeness of Abstraction Refinement for Software Model Checking – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2002
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
9 On the Completeness of Model Checking – Francesco Ranzato - 2001
On Checking Temporal Properties of Software with Boolean Programs – Jean-Philippe Martin - 2000
192 Verification by abstract interpretation – Patrick Cousot - 2003
11 Comparing completeness properties of static analyses and their logics – David A. Schmidt - 2006
9 Underapproximating predicate transformers – David A. Schmidt - 2006
17 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006