FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution)
No abstract available.
Related papers
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023
- ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution) TACAS 2026