Award Details
The best tool paper award of the RV'12 conference
Year: 2012
Level
international
Category
research and development
URL
Persons
Description
The paper "ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level" received the best tool paper award at the 3rd International Conference on Runtime Verification---RV'12. The ANaConDA framework is available here.