Detail ocenění

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

Rok: 2020

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

Nástroje Predator (P. Peringer, V. Šoková, T. Vojnar) a 2LS (V. Malík, T. Vojnar; nástroj primárně vyvíjen společností DiffBlue) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'20, kde získaly jednu zlatou a jednu bronzovou medaili. V. Šoková, M. Hruška a T. Vojnar se navíc podíleli na kombinaci nástroje Predator s nástrojem Symbiotic, který je vyvíjen primárně na FI MU a který získal jednu zlatou a dvě stříbrné medaile.

Nahoru