CBMC starter kit

The CBMC starter kit is a collection of scripts and templates to make it easy to write proofs of C code with CBMC.

• Directories used by the stater kit
• Installation of the starter kit
  • setup.py
  • setup-proof.py
  • Makefile.common
  • Makefile-project-defines
  • Makefile-project-targets
• Writing proofs with the starter kit
  • Makefile
  • Proof harness
• Running proofs with the starter kit
  • run-cbmc-proofs.py