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 p0llard on Sunday April 26, 2020 @06:09PM (#22990708)
Ah sure. I interpreted "proven correct" to mean "proven correct wrt a set of invariants" in this context.
[ Parent | on HN ]

There are no comments on this comment yet.