W. Edwards Demming said
"100% inspection is 80% effective." I've seen that borne out dozens of times both in manufacturing and coding. The whole "Open-Source" finds all the bugs argument is a sham.
A formal CPU (I thought there was one out there for military applications) and formal methods and testing are the best bet for eliminating bugs.