Trying to apply formal methods to all software projects is just as bad as trying to apply code-and-fix development to all projects.
95% on content and the computer language remains the same.
