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

Verified Software Toolchain
 

Version 1.2.2 (2024-11-04 20:45, Coq 8.17.1)
Compatible with VST 2.11.1