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

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

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).