ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution)
No abstract available.
Related papers
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023
- Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution) TACAS 2026
- FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution) TACAS 2015
- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution) TACAS 2023
- UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution) TACAS 2013
- Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution) TACAS 2017