Small Witnesses for Abstract Interpretation-Based Proofs
No abstract available.
DOI 10.1007/978-3-540-71316-6_19
Related papers
- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation VMCAI 2024
- Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution) TACAS 2026
- Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution) TACAS 2024
- Correctness Witness Validation by Abstract Interpretation VMCAI 2024
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- Efficient Self-Interpretations in lambda Calculus JFP 1992
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023