News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code (2016). Parent comment

Re:Formal Verification Creates Hacker-Proof Code (2016) by drdrey on Friday May 01, 2020 @08:45PM (#23048042)
I am using it, I just don't use it to make claims of correctness.
[ Parent | on HN ]

There are no comments on this comment yet.