InterpChecker: Reducing State Space via Interpolations - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Wolverine: Battling Bugs with Interpolants - (Competition Contribution) TACAS 2012
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- 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
- Ultimate GemCutter and the Axes of Generalization - (Competition Contribution) TACAS 2022
- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) TACAS 2022