Award Details

Victory in three categories of the international software verification competition SV-COMP'13

Year: 2013

Level
international
Category
research and development
URL
Persons
Description

The Predator tool won three categories of the international software verification competition SV-COMP'13 associated with the prestigious conference TACAS'13. In particular, Predator won the categories: MemorySafety, HeapManipulation, and FeatureChecks (including, e.g., selected parts of Linux drivers).

Back to top