3 ms·

What language was the primary control software written in?

• gregholmberg 15y ago
  " ... a subset of the C programming language".
  • tjr 15y ago
    Er, I missed that footnote. Thanks.
    • gregholmberg 15y ago
      I think you found the punch line. Something like "if you want to write small, solid and safe control logic for an embedded system, you should generally use C. But if you want to prove it mathematically correct, you'll need to test it with software written in this obscure language from INRIA in Grenoble."
      • deleted 15y ago
        [deleted]