SV-COMP competition

Freiburg team wins for the second time in a a row

The more aspects of our daily lives are controlled by software, the more important it becomes to know that the software does not contain errors. The only way to know something for sure is to give a mathematical proof. Verification tools can find errors in programs or prove their absence.

A team led by Dr. Matthias Heizmann and Dr. Daniel Dietsch, in the group of Prof. Dr. Andreas Podelski at the Department of Computer Science in the Faculty of Engineering of the University of Freiburg, has developed such a verification tool, the ``Ultimate Automizer’’. The team has participated in an internal competition, which takes place every year In this competition, where verification tools are applied on the same set of programs, to find out which tool performs best: finds the most errors and proves the most programs correct. The competition is called SV-COMP, for Software Verifier Competition.

At this year's competition, the Freiburg team won the overall ranking, for the second year in a row. In total, 35 teams from 12 different countries participated in the competition.

The award ceremony took place on April 15, 2024 during the "TACAS" conference (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) in Luxembourg.

Contact:

Prof. Dr. Andreas Podelski
Software Engineering
Department of Computer Science - IIF
University of Freiburg
E-Mail: podelski@informatik.uni-freiburg.de

Dr. Matthias Heizmann
Software Engineering
Department of Computer Science
University of Freiburg
Tel.: 0761/203-8235
E-Mail: heizmann(at)informatik.uni-freiburg.de

Kerstin Steiger-Merx
Representative PR/Marketing
Faculty of Engineering
University of Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de