Induction for SMT Solvers
Abstract elided by the publisher.
Related papers
- Automating Induction with an SMT Solver VMCAI 2012
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers TACAS 2020
- From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems POPL 2023
- Automating Induction for Solving Horn Clauses CAV 2017
- Satisfiability and Synthesis Modulo Oracles VMCAI 2022
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Incremental, Inductive Coverability CAV 2013
- Recursive proofs for inductive tree data-structures POPL 2012