' Verifiable C
Andrew W. Appel
Qinxiang Cao

Verified Software Toolchain
 

Version 1.0.0 (2021-04-19 12:55, Coq 8.13)
Compatible with VST 2.7 (January 2021).