CBMC wins Gold in Falsification in 2017 SV-COMP
Posted: 24th January 2017
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.
Posted: 24th January 2017
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.