VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)
Abstract
Abstract In VeriFuzz 1.4, we implemented two new techniques for checking Non-termination and Termination. VeriFuzz 1.4 won the Termination category of SV-COMP 2023.
Related papers
- VeriFuzz: Program Aware Fuzzing - (Competition Contribution) TACAS 2019
- PROTON: PRObes for Termination Or Not (Competition Contribution) TACAS 2024
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025
- HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution) TACAS 2017
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution) TACAS 2022
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- AProVE(KoAT+LoAT) - (Competition Contribution) TACAS 2025