Hacker News new | ask | show | jobs
by Cyph0n 3671 days ago
Thank you for linking that course. I've always been interested in formal methods and verification of correctness.
1 comments
bmer 3671 days ago
No problem. You'll notice as you go through the links that none are about verification of correctness. Rather, they are about "correct by construction".
link