It's probably still true, though, says formal methods expert

"Software research is a train wreck," says Hillel Wayne, a Chicago-based software consultant who specialises in formal methods, instancing the received wisdom that bugs are way more expensive to fix once software is deployed.…

The text above is a summary, you can read full article here.