Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.

Added to korrents 21 Jan 2019 · 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.

• 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
• 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
• The hard part of verification is not proving the code correct but working out what the specification should say. HWHillel Wayne21 Jan 2019similar wording
• Formal methods shine in highly computational domains and struggle wherever the problem is embedded in human business behaviour. 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

See this on the map →