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 29 Jul 2026 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. HWHillel Wayne21 Jan 2019similar wording
• 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 2026similar wording
• 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 2026similar wording
• 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 2026similar wording
• 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 2026similar wording

On the map

Open the map on its own page →