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.
Medals from the International Competition in Software Verification SV-COMP 2024
The tools PredatorHP (P. Peringer, V. Sokova, T. Vojnar, O. Kinst) and 2LS (V. Malík, F. Necas, T. Vojnar; the tool is being primarily developed by DiffBlue) took part in the International Software Verification Competition SV-COMP'24 where they won one gold and one bronze medal.