Hacker News new | ask | show | jobs
by 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".