SATMC: A SAT-Based Model Checker for Security-Critical Systems
Abstract elided by the publisher.
Related papers
- Tuning SAT Checkers for Bounded Model Checking CAV 2000
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- CoPTIC: Constraint Programming Translated Into C TACAS 2023
- Frying the egg, roasting the chicken: unit deletions in DRAT proofs CPP 2020
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- The rIC3 Hardware Model Checker CAV 2025
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Revisiting DRUP-Based Interpolants with CaDiCaL 2.0 TACAS 2025