starterkit-2.8.1

This is the CBMC Starter Kit version 2.8.1.

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

starterkit-2.8

This is the CBMC Starter Kit version 2.8.

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

starterkit-2.7

This is the CBMC Starter Kit version 2.7.

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

starterkit-2.6

This is the CBMC Starter Kit version 2.6.

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

starterkit-2.5

This is the CBMC Starter Kit version 2.5.

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

starterkit-2.4

This is the CBMC Starter Kit version 2.4.

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

starterkit-2.3

This is the CBMC Starter Kit version 2.3.

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

starterkit-2.2

This is the CBMC Starter Kit version 2.2.

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

starterkit-2.1.1

This is the CBMC Starter Kit version 2.1.1.

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

starterkit-2.1

This is the CBMC Starter Kit version 2.1.

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