CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract elided by the publisher.
Related papers
- Satisfiability Checking for Mission-Time LTL CAV 2019
- Early Verification of Legal Compliance via Bounded Satisfiability Checking CAV 2023
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- The TLA+ Model Checker Apalache CAV 2026
- BoSy: An Experimentation Framework for Bounded Synthesis CAV 2017
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- The Golem Horn Solver CAV 2023
- Bounded model checking of signal temporal logic properties using syntactic separation POPL 2019