HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- AProVE(KoAT+LoAT) - (Competition Contribution) TACAS 2025
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- Termination and non-termination specification inference PLDI 2015
- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution) TACAS 2023
- PROTON: PRObes for Termination Or Not (Competition Contribution) TACAS 2024
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025