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

Malík Viktor, Ing.
Šoková Veronika, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.

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.