Skip to content

Verifiable C

Jump to bottom
Andrew Appel edited this page Oct 28, 2015 · 5 revisions

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

This is the sidebar

Clone this wiki locally