4 ms·
I don't know about Boeing but Airbus uses C in addition to Ada. IIRC they made significant use of Caveat and are now supporting Frama-C.
by platinumrad 9y ago
I don't know about Boeing but Airbus uses C in addition to Ada. IIRC they made significant use of Caveat and are now supporting Frama-C.
- a-priori 9y agoSpecifically, unless my knowledge is out of date, they use a subset of C known as MISRA-C that is easier to analyze using static analysis.