Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour.

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 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
• Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. HWHillel Wayne21 Jan 2019similar wording
• 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. 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
• The hard part of verification is not proving the code correct but working out what the specification should say. HWHillel Wayne21 Jan 2019similar wording

See this on the map →