# 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.md)
* [cbmc-starter-kit-setup-proof](cbmc-starter-kit-setup-proof.md)
* [cbmc-starter-kit-setup-ci](cbmc-starter-kit-setup-ci.md)
* [cbmc-starter-kit-update](cbmc-starter-kit-update.md)
* [cbmc-starter-kit-migrate-license](cbmc-starter-kit-migrate-license.md)