Fakulta informačních technologií VUT v Brně

Detail ocenění

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

Rok: 2012

Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Popis
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.
Nahoru