Medaile Kurta Gödela získaná na FLoC Olympic Games 2014

Dudka Kamil, Ing.
Peringer Petr, Dr. Ing.
Vojnar Tomáš, prof. Ing., Ph.D.

Nástroj Predator pro automatickou analýzu programů s dynamickými datovými strukturami získal na FLoC Olympic Games 2014 prestižní medaili Kurta Gödela za jeho úspěchy ve třech za sebou jdoucích ročnících mezinárodní soutěže ve verifikaci software SV-COMP.