Invariant Generation in Vampire
Abstract elided by the publisher.
Related papers
- First-Order Theorem Proving and Vampire CAV 2013
- Vinter: A Vampire-Based Tool for Interpolation APLAS 2012
- The Vampire Diary CAV 2025
- The vampire and the FOOL CPP 2016
- A Lambda-Superposition Tactic for Isabelle/HOL CPP 2026
- A verified prover based on ordered resolution CPP 2019
- Making Theory Reasoning Simpler TACAS 2021
- ALASCA: Reasoning in Quantified Linear Arithmetic TACAS 2023