3 ms·

Is Airbus using CompCert? https://en.m.wikipedia.org/wiki/CompCert https://en.m.wikipedia.org/wiki/CompCert

• rwmj 2y ago
  I believe so, but not the upstream version, via their commercial partner: https://www.absint.com/ https://www.absint.com/