Skip to main content

CBMC wins Gold in Falsification in 2017 SV-COMP

Posted:

CBMC has been declared the winner in the 2017 SV-COMP in the category Falsification. This category is for the most effective verification tools for finding software bugs.