[jlouis]

The key point is that most software don't need correctness to the level formal verification provides. There's a subset of software however, for which there's no substitute for a formal verification process.

[aSanchezStern]

Additionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.