LuFG i2 gewinnt die "Termination and Complexity Competition" bei der FLoC 2022

Das Tool AProVE des Lehr- und Forschungsgebiets i2 hat die Goldmedaille bei der jährlich stattfindenden "Termination and Complexity Competition" gewonnen, die diesmal im Rahmen der "FLoC Olympic Games" während der Federated Logic Conference in Haifa (Israel) im August 2022 stattfand. Die Aufgabe dabei ist, die Terminierung (bzw. Nicht-Terminierung) von Programmen in verschiedenen Sprachen automatisch nachzuweisen und obere bzw. untere Laufzeitschranken zu inferieren.

Genauere Informationen finden sich unter: https://termination-portal.org/wiki/Termination_Competition_2022