Detail ocenění

Nejlepší článek o nástroji konference RV'12

Rok: 2012

Úroveň

mezinárodní

Kategorie

výzkum a vývoj

URL

http://rv2012.ku.edu.tr/

Osoby

Fiedor Jan, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.

Popis

Článek "ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level" získal na 3rd International Conference on Runtime Verification---RV'12 cenu za nejlepší článek o nástroji. Nástroj ANaConDA je dostupný zde.