It's scary that this could have happened without substantial corroborating evidence. I don't care how reliable you think the software is. Software has bugs! For

It's scary that this could have happened without substantial corroborating evidence. I don't care how reliable you think the software is. Software has bugs! For any enterprise system of any scale, no matter how tight the development, and especially once you start to evolve the system, is going to be full of them. This idea of proving reliability is fantasy. Proofs might work on mathematically-based algorithms ie certain discrete bit of code like a cryptographic function, but you can't ultimately proove anything about any system of any scale. You can use heuristics like tests to gain a high degree of confidence but "proofs" or anything even in that ballpark?!