Großer Erfolg für das ULTIMATE-Team des Instituts für Informatik

Vierter Sieg in Folge bei der SV-COMP

Das Team um Prof. Andreas Podelski am Institut für Informatik der Technischen Fakultät der Universität Freiburg hat bei der renommierten International Competition on Software Verification (SV-COMP) 2026 erneut den ersten Platz belegt – damit konnte das Team den Wettbewerb zum vierten Mal in Folge gewinnen.

Die SV-COMP ist der international wichtigste Vergleichs-Wettbewerb für automatische Software-Verifikationswerkzeuge im Rahmen der Tools and Algorithms for the Construction and Analysis of Systems (TACAS)-Konferenz. In diesem Wettbewerb messen sich Forschungsteams aus der ganzen Welt mit ihren Toolchains auf standardisierten Benchmark-Sätzen, um zu zeigen, wie zuverlässig und effizient Fehler in Programmen gefunden oder die Abwesenheit von Fehlern nachgewiesen werden kann.

Vier Siege in Folge – ein außergewöhnlicher Erfolg
Mit dem diesjährigen Erfolg setzt das Freiburger Team eine beeindruckende Serie fort:

2023: Gesamtsieg für Ultimate Automizer
2024: Gesamtsieg für Ultimate Automizer
2025: Gesamtsieg für Ultimate Automizer
2026: Gesamtsieg für Ultimate Automizer (aktuell bekanntgegeben)

Das Verifikationswerkzeug Ultimate Automizer ist das Herzstück dieser Erfolge. Es wurde maßgeblich von Mitgliedern der Forschungsgruppe um Prof. Podelski entwickelt und kontinuierlich weiter verbessert. Die wiederholten Spitzenplätze in der SV-COMP spiegeln sowohl die Leistungsfähigkeit der Software als auch die hohe Forschungs- und Entwicklungsqualität am Institut wider.

Bedeutung für Forschung und Lehre
Die Ergebnisse der SV-COMP sind nicht nur ein eindrucksvoller Beleg für exzellente Forschung, sondern stärken auch die Sichtbarkeit der Universität Freiburg in der internationalen Formal-Methods-Gemeinschaft. Die Werkzeuge und Methoden, die im Rahmen des Wettbewerbs entstehen, fließen direkt in die Lehre und in Studierendenprojekte ein – ein klarer Gewinn für Ausbildung und Nachwuchsförderung.

Ausblick
Die offizielle Preisverleihung für die SV-COMP 2026 steht noch aus. Sobald Zeitpunkt und Ort der Vergabe feststehen, wird die Fakultät gesondert darüber berichten.

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

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

18.02.2026