Vítězství ve třech kategoriích mezinárodní soutěže ve verifikaci programů SV-COMP'13

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

Nástroj Predator zvítězil ve třech kategoriích mezinárodní soutěže ve verifikaci programů SV-COMP'13 spojené s prestižní konferencí TACAS'13. Konkrétně se jednalo o kategorie MemorySafety, HeapManipulation a FeatureChecks (zahrnující např. části kódu ovladačů OS Linux).