News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by jfoutz on Friday October 21, 2016 @05:46PM (#12765157)
If your spec is wrong, your code will be wrong anyway. More often, people use the code as the spec which is IMHO (for this kind of programing) really bad.

There are no comments on this comment yet.