[SystemSafety] Information on CompCert and DO-178C certification

From: David MENTRE < >
Date: Fri, 14 Mar 2014 11:38:24 +0100


CompCert was recently discussed on this list, especially regarding its usefulness and adequacy for safety related topics.

Here are some recent (January 2014) slides on the current effort to certify CompCert within DO-178C framework:


Best regards,

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Fri Mar 14 2014 - 11:38:38 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:06 CEST