> And NASA software is not that complex if you think about it; at least it has fixed requirements; once they ship it, it's done. No more changes. Nope, they st

> And NASA software is not that complex if you think about it; at least it has fixed requirements; once they ship it, it's done. No more changes. Nope, they still make changes. This is a case study for a company that helped debug and fix a low-level C bug on the Mars Curiosity Rover as it was traveling to Mars. https://semmle.com/case-studies/semmle-nasa-landing-curiosity-safely-mars https://semmle.com/case-studies/semmle-nasa-landing-curiosit... I work with high-assurance software in the blockchain space and only recently read a paragraph from some old NASA software quality textbook and thought damn.. this is awesome. It's anything but trivial!