AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution)
No abstract available.
Related papers
- AProVE: Termination and Memory Safety of C Programs - (Competition Contribution) TACAS 2015
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- AProVE(KoAT+LoAT) - (Competition Contribution) TACAS 2025
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- An Isabelle/HOL formalization of AProVE's termination method for LLVM IR CPP 2021
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- PROTON: PRObes for Termination Or Not (Competition Contribution) TACAS 2024