A korrentour readingWhat is a korrent?
The hard part of verification is not proving the code correct but working out what the specification should say.
Drawn from what Hillel Wayne said
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.
Writer and consultant on formal methods
Finding the right spec is one of the biggest challenges in formal methods.
Where this was said
↗Why Don't People Use Formal Methods?hillelwayne.com
All 5 korrents from this piecethis one is 2nd
Added to korrents 21 Jan 2019 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
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.