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

[David MENTRE]

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