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 @01:04PM (#12762251)
is the compiler for the language also formally verified? can't find this in the article, and well, it'd be a huge open door for bugs.
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code by nickpsecurity on Friday October 21, 2016 @01:17PM (#12762406)
It's in the picture:

http://deepspec.org/

[ Parent | on HN ]
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 ]
Re:Formal Verification Creates Hacker-Proof Code by munin on Friday October 21, 2016 @01:14PM (#12762365)
frequently, yes, if it uses compcert or cakeML or something.
[ Parent | on HN ]