Well... for 95-99%[1] of all software being written, "ship it now" beats "prove that bugs don't exist". Better formal methods could really help that 1-5%, but they're not going to impact the 95% very much.

[1] All statistics made up on the spot. I think it's in the right ballpark, though.