Last updated 5 years ago
- CompCert C is a compiler intended to be used is the compilation of life-critical and mission-critical software written in C and meeting high levels of assurance.