News for hackers. Stuff that matters.

A comment on We're building a browser when it's supposed to be impossible. Parent comment

Re:We're building a browser when it's supposed to be impossible by KsassPeuk on Wednesday April 19, 2023 @11:40AM (#35629574)
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.
[ Parent | on HN ]

There are no comments on this comment yet.