Medaile pro výzkumnou skupinu VeriFIT ze soutěže SV-COMP

Dvě zlaté, dvě stříbrné a jednu bronzovou medaili získaly na mezinárodní soutěži ve verifikaci SV-COMP nástroje, na jejichž vývoji se podíleli výzkumníci z FIT. Soutěž se koná v rámci konference TACAS, která měla probíhat v těchto dnech v Dublinu, ale kvůli pandemii byla odložena. Zlatou medaili získal v soutěži nástroj Predator, na jehož vývoji se podíleli Petr Peringer, Veronika Šoková a Tomáš Vojnar. Bronzovou medailí byl oceněn nástroj 2LS, který primárně vyvíjí společnost DiffBlue ve spolupráci s Viktorem Malíkem a Tomášem Vojnarem. Tomáš Vojnar se navíc společně s Martinem Hruškou a Veronikou Šokovou podíleli na kombinaci nástroje Predator s nástrojem Symbiotic, který se vyvíjí primárně na FI MU a který získal jednu zlatou a dvě stříbrné medaile.