Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution) TACAS 2022
- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) TACAS 2022
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- AISE v2.0: Combining Loop Transformations - (Competition Contribution) TACAS 2025
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution) TACAS 2020
- Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution) TACAS 2024
- Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution) TACAS 2024