News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code. Parent comment

Re:Formal Verification Creates Hacker-Proof Code by LoSboccacc on Friday October 21, 2016 @02:14PM (#12763031)
thanks. very interesting project. they also have their own kernel and all
[ Parent | on HN ]

There are no comments on this comment yet.