# CBMC projects

This is a short tutorial on how to use CBMC on a software project.  We discuss:

* [Project planning](Plan-your-proof.md):
  How organize your proof, estimate the effort involved, and estimate
  the return on investment
* [Writing a good proof](Write-a-good-proof.md):
  What does a good proof look like?
* [Debugging an error trace](Debug-an-error-trace.md):
  How to debug and repair an issue discovered by CBMC
* [Coding for verification](Code-for-verification.md):
  How to write code to make it easy to prove with CBMC
* [Proof evaluation](Code-review-for-proofs.md):
  A checklist for proof writers and reviewers to know when a proof is
  done