News for hackers. Stuff that matters.

A comment on Make formal verification and provably correct software practical and mainstream. Parent comment

Re:Make formal verification and provably correct software pr... by homodeus on Saturday May 28, 2022 @06:30PM (#31544432)
The Bible of formal software logic, free of charge: https://softwarefoundations.cis.upenn.edu/
[ Parent | on HN ]
Re:Make formal verification and provably correct software pr... by practal on Saturday May 28, 2022 @07:07PM (#31544646)
If you are more practical than religious, try this: https://functional-algorithms-verified.org
[ Parent | on HN ]