A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems
Abstract elided by the publisher.
Related papers
- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers TACAS 2021
- Improving Stability of SMT Solvers via Context-Driven Normalization CAV 2026
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions TACAS 2015
- Inter-theory dependency analysis for SMT string solvers OOPSLA 2020
- Even Faster Conflicts and Lazier Reductions for String Solvers CAV 2022
- PLEX: Normalization for Refinement Types OOPSLA 2026
- cvc5: A Versatile and Industrial-Strength SMT Solver TACAS 2022
- Better Counterexamples for Dafny TACAS 2022