By the way, formal methods means something slightly different to a mathematically trained programmer. Formal methods in the mathematical sense also help reduce the error rates.

There is a danger in instituting heavyweight process, in that the formalities can substitute for substance if the team’s support for them begins to break down. Checking off the right boxes becomes a substitute for thinking and the error rate goes right back up.