CompCert
C言語コンパイラCompCert
公式ページ:
CompCert - Main page
GitHub:
AbsInt/CompCert: The CompCert formally-verified C compiler
関連
DeepSpec
#形式手法
#Coq