Reference manual

The CBMC Starter Kit makes it easy to add CBMC verification to a software project.

• cbmc-starter-kit-setup
• cbmc-starter-kit-setup-proof
• cbmc-starter-kit-update
• cbmc-starter-kit-migrate-license