> If this was actually true, we wouldn't have safety critical software systems that have been running for decades without fatal bugs.
Not hitting a bug is not the same as not having a bug. I'd bet money that whatever system you're talking about has bugs. Plus, the system may be far simpler than you assume.
