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.

Detail
Nahoru