Our readingWhat is a korrent?
Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built.
Drawn from what Hillel Wayne said
What Hillel Wayne actually said
- Hillel Wayne Writer and consultant on formal methods
Then the actual system might still have bugs, but we can iron out the issues in the abstraction such that we don't actually build them in the real system.
Where this was said
Watch from 0:26:19 plays here↗Formal methods with Hillel Wayneyoutube.com
All 24 korrents from this recordingthis one is 11th
Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
I hold this tooRelated korrents
Shared subject first, then similar wording. They may agree or disagree.