Hacker News new | ask | show | jobs
by KsassPeuk 1155 days ago
Frama-C is used in production to meet normative requirements for critical software at least at Airbus (DO-178C), THALES (CC EAL6/7), EDF (ISO 60880). I think that they use actual software in production.