Trying to apply formal methods to all software projects is just as bad as trying to apply code-and-fix development to all projects.

After the Gold Rush: Creating a True Profession of Software Engineering (ed. 1999) - ISBN: 9780735608771