SV-COMP Wettbewerb

Durch den zunehmenden Einsatz von Software zur Steuerung verschiedener Bereiche unseres Alltags wird es immer wichtiger sicherzustellen, dass diese fehlerfrei ist. Ein mathematischer Beweis ist die einzige Möglichkeit, um mit absoluter Sicherheit festzustellen, dass keine Fehler vorhanden sind. Verifikationswerkzeuge können dabei unterstützen, Fehler in Programmen aufzudecken oder ihre Fehlerfreiheit zu bestätigen.

Unter der Leitung von Dr. Matthias Heizmann und Dr. Daniel Dietsch, innerhalb der Forschungsgruppe von Prof. Dr. Andreas Podelski am Institut für Informatik der Technischen Fakultät der Universität Freiburg, wurde das Verifikationswerkzeug „Ultimate Automizer“ entwickelt. Das Team hat an einem internen Wettbewerb teilgenommen, der jedes Jahr stattfindet. Bei diesem Wettbewerb werden verschiedene Verifikationswerkzeuge auf dieselbe Reihe von Programmen angewendet, um festzustellen, welches Werkzeug am besten abschneidet: Es findet die meisten Fehler und beweist die meisten korrekten Programme. Dieser Wettbewerb heißt SV-COMP, was für Software Verifier Competition steht.

Das Team aus Freiburg sicherte sich beim diesjährigen Wettbewerb bereits zum zweiten Mal in Folge den Gesamtsieg. Insgesamt nahmen 35 Teams aus 12 verschiedenen Ländern an dem Wettbewerb teil.

Die Preisverleihung fand am 15. April 2024 im Rahmen der "TACAS"-Konferenz (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) in Luxemburg statt.

Kontakt:

Prof. Dr. Andreas Podelski
Professur für Softwaretechnik
Institut für Informatik - IIF
Albert-Ludwigs-Universität Freiburg
E-Mail: podelski@informatik.uni-freiburg.de

Dr. Matthias Heizmann
Softwaretechnik
Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8235
E-Mail: heizmann(at)informatik.uni-freiburg.de

Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de

22.04.2024