Exactly. We know how to build reliable (nearly) bug-free software.
The problem is, for most things, it's too expensive. What we have is good enough.
The problem is, for most things, it's too expensive. What we have is good enough.
Do we? Let's say, starting tomorrow, you have to write rocket-guiding software. If your program has bugs, you will be summarily executed. What are the odds that you will survive the process? I wouldn't estimate mine at anything significantly above zero.