Verifiable C - PrincetonUniversity/VST GitHub Wiki

Verifiable C

Applying the Verified Software Toolchain to C programs

This reference manual compatible with the forthcoming release 1.6 of the Verified Software Toolchain, or with the master branch of the VST repo as of November 1, 2015.

p \stackrel\pi\mapsto_\tau v xx