SAT-Based Model Checking without Unrolling
Abstract elided by the publisher.
Related papers
- Efficient Loop Conditions for Bounded Model Checking Hyperproperties TACAS 2023
- Cause clue clauses: error localization using maximum satisfiability PLDI 2011
- Tuning SAT Checkers for Bounded Model Checking CAV 2000
- Interpolation and SAT-Based Model Checking CAV 2003
- Applying SAT Methods in Unbounded Symbolic Model Checking CAV 2002
- Combining Abstraction Refinement and SAT-Based Model Checking TACAS 2007
- Symmetry Reduction in SAT-Based Model Checking CAV 2005
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata TACAS 2010