Award Details
Medals from the International Competition in Software Verification SV-COMP 2024
Year: 2024
Level
international
Category
research and development
URL
Persons
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.
Description
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.