# CBMC starter kit resources

* CBMC (the model checker used by the starter kit)
  * [Documentation](http://www.cprover.org/cprover-manual) and [tutorial](https://github.com/diffblue/cbmc/blob/develop/doc/cprover-manual/cbmc-tutorial.md)
  * [Source code](https://github.com/diffblue/cbmc)

* Litani (the build system used by the starter kit)
  * [Documentation](https://awslabs.github.io/aws-build-accumulator/)
  * [Source code](https://github.com/awslabs/aws-build-accumulator)

* CBMC starter kit
  * [Source code](https://github.com/model-checking/cbmc-starter-kit)