Wolverine: Battling Bugs with Interpolants - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Interpolation-Based Software Verification with Wolverine CAV 2011
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- InterpChecker: Reducing State Space via Interpolations - (Competition Contribution) TACAS 2018
- UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution) TACAS 2013
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) TACAS 2018
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Ultimate GemCutter and the Axes of Generalization - (Competition Contribution) TACAS 2022