3 ms·
Thank you for linking that course. I've always been interested in formal methods and verification of correctness.
by Cyph0n 10y ago
Thank you for linking that course. I've always been interested in formal methods and verification of correctness.
- bmer 10y agoNo problem. You'll notice as you go through the links that none are about verification of correctness. Rather, they are about "correct by construction".