Thank you for linking that course. I've always been interested in formal methods... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Cyph0n on May 29, 2016 \| parent \| context \| favorite \| on: Letters between Backus and Dijkstra (1979) Thank you for linking that course. I've always been interested in formal methods and verification of correctness.

bmer on May 29, 2016 [–]

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".

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact