News for hackers. Stuff that matters.

A comment on Unhackable Kernel?. Parent comment

Re:Unhackable Kernel? by jdefr89 on Friday September 18, 2015 @08:34AM (#10238761)
Godel's theorem is great for claims like this. Have they proved that the "theorem proving" software has no mistakes?
[ Parent | on HN ]
Re:Unhackable Kernel? by hga on Friday September 18, 2015 @03:37PM (#10241571)
There's this: http://proof-technologies.com/holzero/index.html and I see some other things that I interpret as moving in that direction.
[ Parent | on HN ]