jcdubois / cbmc-starter-kit

The CBMC stater kit makes it easy to add CBMC verification to a software project.

https://model-checking.github.io/cbmc-starter-kit/

Geek Repo

Github PK Tool