4 ms·CompCert ?by fuklief 7y agoCompCert ?gmueckl 7y agoOkay, it recently did get quite high formal certifications.