Medals from the International Competition in Software Verification SV-COMP 2020

Hruška Martin, Ing.
Malík Viktor, Ing.
Peringer Petr, Dr. Ing.
Šoková Veronika, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.

The tools Predator (P. Peringer, V. Sokova, T. Vojnar) and 2LS (V. Malík, T. Vojnar; the tool is being primarily developed by DiffBlue) took part in the International Software Verification Competition SV-COMP'20 where they won one gold and one bronze medal. Moreover, V. Sokova, M. Hruska, and T. Vojnar participated on a combination of Predator with the Symbiotic analyser that is being primarily developed at FI MU and that won one gold and two silver medals.