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

Hruška Martin, Ing.
Malík Viktor, Ing.
Peringer Petr, Dr. Ing.
Šoková Veronika, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.

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.