Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

3
  • 3
    No, they do not do anything like that. As soon as your program stores about 10 bytes of data you have more combinations of state than atoms in the universe. Brute forcing them is infeasible. Commented Dec 1, 2018 at 20:12
  • 1
    You might get a better answer over at Software Quality and Analysis but I have an answer for this over at (surprisingly?) Workplace.SE - see halfway down at "JPL". Commented Dec 1, 2018 at 23:10
  • 1
    There is an article about how NASA writes mission-critical software that goes into some depth about how their process works here: fastcompany.com/28121/they-write-right-stuff Commented Dec 2, 2018 at 18:18