A couple of people have mentioned (or hinted at) formal verification. The problem is, formal verification produces working software much more slowly than other techniques. That plus "start over from scratch" is a bad combination - we wouldn't have the software functionality that we take for granted for a long time.

The original question asks as if we had infinite time and manpower, but we never do...