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 danmaz74 on Sunday April 26, 2020 @02:03AM (#22984919)
Indeed. What is unbearably slow is creating the whole software with formal verification, not just the core algorithm.
[ Parent | on HN ]

There are no comments on this comment yet.