Skip to content

CBMC starter kit

Jump to bottom
Mark R. Tuttle edited this page Oct 28, 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.

Clone this wiki locally