Victory in one of the categories of the international software verification competition SV-COMP'12

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

The Predator tool won one category of the international software verification competition SV-COMP'12 associated with the prestigious conference TACAS'12. In addition, Predator came second in the category DeviceDrivers.