4 ms·
C++ and Python. I always thought NASA used languages that were easier to verify (functional languages?). Good to see that the common boring languages are good
by CodeGlitch 6y ago
C++ and Python.
I always thought NASA used languages that were easier to verify (functional languages?). Good to see that the common boring languages are good enough!
- fooker 6y agoPeople keep saying functional languages are easier to verify but most practical verification tools (model checkers and the like) are built on top of imperative languages.
- neurostimulant 6y agoIngenuity is a tech demo, so they don't go all out to conserve limited development resource and uses mostly off the shelf hardware and software.
- proc0 6y agoI have not looked at any of it, but would think they'd back it up with some form of math proof for at least some modules, and then applying those algorithms is just like any other C++ or Python code.