Kinšt Ondřej, Bc.
Malík Viktor, Ing.
Nečas František, Ing.
Peringer Petr, Dr. Ing.
Šoková Veronika, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.
Medaile z mezinárodní soutěže ve verifikaci software SV-COMP 2024
Nástroje PredatorHP (P. Peringer, V. Šoková, T. Vojnar, O. Kinšt) a 2LS (V. Malík, F. Nečas, T. Vojnar; nástroj primárně vyvíjen společností DiffBlue) se zúčastnily mezinárodní soutěže ve verifikaci software SV-COMP'24, kde získaly jednu zlatou a jednu bronzovou medaili.