Awards
- [Dec. 6, 2013]: Gold, Silver, and Four Bronze Medals in TACAS'14 Software Verification Competition
- LLBMC wins a gold medal, a silver medal, and four bronze medals in the 3rd International Competition on Software Verification (SV-COMP 2014). LLBMC wins a gold medal in the category "BitVectors", a silver medal in the category "MemorySafety", and bronze medals in the categories "ControlFlow", "HeapManipulation", "SequentializedConcurrent", and "Overall".
- [Nov. 15, 2013]: "Best Tool Demonstration Award" at ASE'13
- [Mar. 21, 2013]: Two Gold and Four Silver Medals in TACAS'13 Software Verification Competition
- LLBMC wins two gold and four silver medals in the 2nd International Competition on Software Verification (SV-COMP 2013). LLBMC wins gold medals in the categories "BitVectors" and "Loops" and silver medals in the categories "FeatureChecks", "HeapManipulation", "MemorySafety", and "ProductLines".
- [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".