Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
No abstract available.
Related papers
- Interpretation-Based Violation Witness Validation for C: NITWIT TACAS 2020
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution) TACAS 2022
- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) TACAS 2022
- Lifting abstract interpreters to quantified logical domains POPL 2008
- CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
- Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution) TACAS 2022
- Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution) TACAS 2024