-
Notifications
You must be signed in to change notification settings - Fork 21
CBMC starter kit
Mark Tuttle edited this page Oct 29, 2020
·
2 revisions
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
- Writing proofs with the starter kit
- Running proofs with the starter kit