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.
[ Parent
| on HN ]
There are no comments on this comment yet.