Re:Formal Verification Creates Hacker-Proof Code (2016)
by rustybolt on Sunday April 26, 2020 @05:21AM
(#22985784)
There's some truth in that. They force you to scrutinize every line of code. This creates a focus on minimizing attack surface but also produces code with significantly less bugs.
[ Parent
| on HN ]
There are no comments on this comment yet.