The CBMC starter kit makes it easy to add CBMC verification to a software project.
Primary LanguagePythonMIT No AttributionMIT-0