The results have been presented during the 20th International Workshop on Termination (WST) and the 14th International Workshop on Confluence (IWC) in Leipzig.
In the Termination Competition 2025 various analysis tools tried to classify as many programs as possible, whether these are terminating or non-terminating, including a justification. Since the analysis tools themselves might be buggy, also fully verified tools can participate in the competition, whose task is to validate as many justifications as possible. In this latter category, the tool CeTA of René Thiemann could achieve the first place.
The second competition is the Confluence Competition 2025, where again analysis and validation tools compete against each other. Here, the major task is to detect confluence, a property which is related to the question whether results of non-deterministic programs are unique. In this competition, the analysis tool CSI of Fabian Mitterwallner and Aart Middeldorp achieved two first places in the TRS and the Reliability categories, crest of Jonas Schöpf and Aart Middeldorp won the LCTRS category, and CeTA of Christina Kirk and René Thiemann and Fortify of Fabian Mitterwallner and Aart Middeldorp received the first and second place as the best validation tools, respectively.
Tools der CL-Gruppe sind bei internationalen Wettbewerben erfolgreich
Anfang September nahm mit Computational Logic Group mit mehreren Tools an zwei internationalen Wettbewerben teil und konnten ihre Leistungsfähigkeit unter Beweis stellen.