Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Aktuelles / Nachrichten / LMU-Forscher holen Gold bei internationalem Wettbewerb in Software-Verifikation


Inhaltsbereich

LMU-Forscher holen Gold bei internationalem Wettbewerb in Software-Verifikation

SoSy-Lab Software Systems

6 Medaillen (3x Gold, 2x Silber, 1x Bronze) holte das LMU-Team mit seinem Tool CPAchecker bei der "Competition on Software Verification".

 

Ziel des Wettbewerbs ist die automatische Suche nach Fehlern oder Korrektheitsbeweisen für Software. Die Forscher der LMU setzten sich unter 21 Verifizierten durch und errangen den Gesamtsieg.

 

HERZLICHEN GLÜCKWUNSCH!

 

Weitere Infos: www.sosy-lab.org

Artikelaktionen

Funktionsleiste