' Verifiable C
Andrew W. Appel
Qinxiang Cao

Verified Software Toolchain
 

Version 0.9.7 (2020-09-18 15:40, Coq 8.12)
Compatible with VST 2.6 (July 2020).