Detail ocenění

Medaile z mezinárodní soutěže ve verifikaci software SV-COMP 2021

Rok: 2021

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

Nástroje Symbiotic (V. Šoková; primárně vyvíjen na FI MU) a 2LS (V. Malík, T. Vojnar; primárně vyvíjen společností DiffBlue) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'21, kde získaly dvě zlaté a jednu bronzovou medaili.

Nahoru