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

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


Hello,

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:

   http://www.cl.cam.ac.uk/~pes20/pip2014-slides/PIP2014-Leroy.pdf

Best regards,
david



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 : Fri Apr 26 2019 - 05:17:06 CEST