CBMC starter kit
·
186 commits
to master
since this release
The CBMC starter kit makes it easy to add CBMC verification to a software project. For more information, see the CBMC starter kit tutorial.