Vinter: A Vampire-Based Tool for Interpolation
No abstract available.
Related papers
- The Vampire Diary CAV 2025
- First-Order Theorem Proving and Vampire CAV 2013
- Invariant Generation in Vampire TACAS 2011
- The vampire and the FOOL CPP 2016
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Sharper and Simpler Nonlinear Interpolants for Program Verification APLAS 2017
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Ground Interpolation for the Theory of Equality TACAS 2009