Z3: An Efficient SMT Solver
Abstract elided by the publisher.
Related papers
- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays TACAS 2009
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic CAV 2009
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Symbolic optimization with SMT solvers POPL 2014
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks CAV 2017
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025
- Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration OOPSLA 2024