Combining Abstraction Refinement and SAT-Based Model Checking
Abstract elided by the publisher.
Related papers
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA 2026
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Abstract satisfaction POPL 2014
- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation CAV 2006
- Speculative SAT Modulo SAT TACAS 2024
- Race checking by context inference PLDI 2004
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018