• Introduction
• News
• Documentation
• Downloads
• Examples
• Publications
• Presentations
• Awards
• Authors / Contact

Awards

[Dec. 16, 2011]: Gold and Silver Medal in TACAS'12 Software Verification Competition

A preliminary version of LLBMC (version 0.9) participated in the TACAS'12 Competition on Software Verification (SV-COMP) and was able to win a gold medal in category "DeviceDrivers" and a silver medal in category "HeapManipulation".