Generator of ANSI C tracers which output CTF data streams
The CBMC starter kit makes it easy to add CBMC verification to a software project.
