Run Forester, Run Backwards! - (Competition Contribution)
No abstract available.
Related papers
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- Forester: From Heap Shapes to Automata Predicates - (Competition Contribution) TACAS 2017
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Symbolic Pathfinder for SV-COMP - (Competition Contribution) TACAS 2019
- BUBAAK: Dynamic Cooperative Verification - (Competition Contribution) TACAS 2025
- Bubaak-SpLit: Split what you cannot verify (Competition contribution) TACAS 2024
- PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution) TACAS 2019
- Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution) TACAS 2026