[pedro_caetano]

That is a strange claim, the Ariane accident was a Systems and really a Requirements flaw.

Arguably with that spec the same could have happened if they used punched cards or Haskell instead of Ada.