News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code.

Re:Formal Verification Creates Hacker-Proof Code by StyloBill on Friday October 21, 2016 @12:20PM (#12761699)
Here is the readable version.

https://www.quantamagazine.org/20160920-formal-verification-...

[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by sctb on Friday October 21, 2016 @01:12PM (#12762328)
Thank you, we've updated the link from https://www.quantamagazine.org/?powerpress_pinw=29937-podcas...
[ Parent | on HN ]