This is the CBMC Starter Kit version 2.11.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit