A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.

Added to korrents 22 Apr 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.

• A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. GSGrant Sanderson30 Jun 2026similar wording
• 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 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
• The hard part of verification is not proving the code correct but working out what the specification should say. HWHillel Wayne21 Jan 2019similar wording
• 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 2019similar wording

On the map

Open the map on its own page →