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.

Detail

Carasec Elena, Bc.

Prize of Zdena Rábová

Detail

Ondryáš Ondřej, Ing.

Prize of Zdena Rábová

Detail

Hečko Michal, Ing.

The Rector's Award

The Rector's Award for excellent study results.

Detail
Back to top