UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification CAV 2012
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Ultimate GemCutter and the Axes of Generalization - (Competition Contribution) TACAS 2022
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) TACAS 2018
- Wolverine: Battling Bugs with Interpolants - (Competition Contribution) TACAS 2012
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013