korrents

A korrentour readingWhat is a korrent?

Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.

Drawn from what Hillel Wayne said

Subjectformal proof
What this subject means

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

Interesting
A private bookmark. Not a position, and never counted.

What Hillel Wayne actually said

Word for word, with the source under each one. They did not write this page.

  1. Hillel Wayne

    Writer and consultant on formal methods

    You do not need full code verification to write good software or even to write near-perfect software.

    Where this was said

    ↗Why Don't People Use Formal Methods?hillelwayne.com

    All 5 korrents from this piecethis one is 5th

Added to korrents 21 Jan 2019 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

Sign in to record that you hold this, with a confidence number of your own.

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.

On the map

Loading the map… or open it on its own page

Open the map on its own page →