' Verifiable C
Andrew W. Appel, Lennart Beringer,
Qinxiang Cao

Verified Software Toolchain
 

Version 1.0.1 (2021-02-13 18:58, Coq 8.12)
Compatible with VST 2.6.1 (November 2020).