Software Model Checking with Abstraction Refinement
Abstract elided by the publisher.
Related papers
- Relative Completeness of Abstraction Refinement for Software Model Checking TACAS 2002
- Lazy abstraction POPL 2002
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking CAV 2013
- Race checking by context inference PLDI 2004
- Abstraction Refinement for Bounded Model Checking CAV 2005
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking SAS 2001
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Combining Abstraction Refinement and SAT-Based Model Checking TACAS 2007