[__MatrixMan__]

> So we'd get better software, but only 1/10 as much of it

How much software do you think we need? 10x less sounds about right to me.

[galaxyLogic]

You can produce formally verified software with more expense than Java-Scripting. But is it software that does what we need it to do?

Verification proves that software works according to its "spec". But is the spec "correct"?

Writing NON-formally-verified software 10 x faster means you have a much better chance of figuring out how you should fix your spec.