Re: Isn't THIS why we've got to teach 2nd-graders how to "code", rather than how to think?
Richard Feynman warned of the failure to aggressively check safety systems and in his appended report on the Challenger Disaster praised NASA's approach to software faults (one of the few processes he thought was fit-for-purpose). Even then, the managers wanted to reduce software testing because it was time-consuming and expensive.
His appendix to the report is a good read (and re-read); I frequently recommend it to engineers.
https://science.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/Appendix-F.txt