Detail ocenění

Medaile Kurta Gödela získaná na FLoC Olympic Games 2014

Rok: 2014

Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Popis

Nástroj Predator pro automatickou analýzu programů s dynamickými datovými strukturami získal na FLoC Olympic Games 2014 prestižní medaili Kurta Gödela za jeho úspěchy ve třech za sebou jdoucích ročnících mezinárodní soutěže ve verifikaci software SV-COMP.

Nahoru