Kurt Gödel Medal from the FLoC Olympic Games 2014

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

The Predator tool for automated shape analysis of programs with dynamic linked data structures has been awarded the prestigious Kurt Gödel medal at the FLoC Olympic Games 2014 for its successes in three consecutive years of the international competition in software verification SV-COMP.