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

Úroveň

mezinárodní

Kategorie

výzkum a vývoj

URL

https://sv-comp.sosy-lab.org/2024/

Osoby

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.

Popis

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.