The hard part of verification is not proving the code correct but working out what the specification should say.

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

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

• There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. HWHillel Wayne21 Jan 2019
• Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft. HWHillel Wayne21 Jan 2019
• Formalisation's real gift is the green check mark — knowing a hard proof is correct before you spend time on it — and every other field would kill for it. GSGrant Sanderson30 Jun 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
• Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. HWHillel Wayne20 Jan 2021

See this claim on the map