qinheping / cbmc-starter-kit Goto Github PK
View Code? Open in Web Editor NEWThis project forked from model-checking/cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
Home Page: https://model-checking.github.io/cbmc-starter-kit/
License: MIT No Attribution