Re:Formal Verification Creates Hacker-Proof Code
by nabla9 on Friday October 21, 2016 @01:07PM
(#12762281)
It would have to be kind of fixed point of bugs (like finding cryptographic hash that equal to the input value). It wold be incredibly unlikely.
[ Parent
| on HN ]
There are no comments on this comment yet.