Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.

Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us

Shared subject first, then similar wording. They may agree or disagree.

• Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. HWHillel Wayne21 Jan 2019
• Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. HWHillel Wayne29 Jul 2026
• AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. HWHillel Wayne29 Jul 2026
• Formal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop. HWHillel Wayne29 Jul 2026
• Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. MKMartin Kleppmann22 Apr 2026

See this claim on the map