The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover
Abstract elided by the publisher.
Related papers
- Interactive Theorem Proving Modulo Fuzzing CAV 2024
- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS 2019
- An Interpolating Theorem Prover TACAS 2004
- AVATAR: The Architecture for First-Order Theorem Provers CAV 2014
- A Generic Theorem Prover of CSP Refinement TACAS 2005
- A Generic Cyclic Theorem Prover APLAS 2012
- Formalizing a JVML Verifier for Initialization in a Theorem Prover CAV 2001
- Using a Theorem Prover for Reasoning about Concurrent Algorithms CAV 1992