Trying to apply formal methods to all software projects is just as bad as trying to apply code-and-fix development to all projects.
Steve McConnell (1999). “After the Gold Rush: Creating a True Profession of Software Engineering”
