Vítězství v jedné z kategorií mezinárodní soutěže ve verifikaci programů SV-COMP'12

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

Nástroj Predator zvítězil v kategorii HeapManipulation mezinárodní soutěže ve verifikaci programů SV-COMP'12 spojené s prestižní konferencí TACAS'12. Nástroj Predator navíc skončil druhý v kategorii DeviceDrivers.