AProVE: Termination and Memory Safety of C Programs - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution) TACAS 2017
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- AProVE(KoAT+LoAT) - (Competition Contribution) TACAS 2025
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023