Skip to main content

CBMC wins Gold in 2014 Software Verification Competition


CBMC  (a Bounded Model Checker for ANSI-C and C++ programs) has won the gold medal in the "Overall" category in the 2014 Software Verification Competition, held in conjunction with TACAS 2014 - the International Conference on Tools and Algorithms for the Construction and Analysis of Systems. It won in total 6 medals, including Gold in "Recursion" and "HeapManipulation".