Award Details

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

Year: 2012

Level
international
Category
research and development
URL
Persons
Description

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.

Back to top