CompCert

CompCert는 정형 검증된 C 컴파일러이다. Coq으로 구현 및 검증 되었다.

외부 링크

• 공식 웹사이트