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.

Back to top