Interpolation-Based Software Verification with Wolverine
Abstract elided by the publisher.
Related papers
- Wolverine: Battling Bugs with Interpolants - (Competition Contribution) TACAS 2012
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification CAV 2012
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Generating Non-linear Interpolants by Semidefinite Programming CAV 2013
- Decomposing Farkas Interpolants TACAS 2019
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Symbolic Polytopes for Quantitative Interpolation and Verification CAV 2015
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification VMCAI 2012