It won't. See here: http://sel4.systems/FAQ/#verif It's actually a very impressi... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

klibertp on July 29, 2014 | parent | context | favorite | on: The seL4 microkernel

It won't. See here: http://sel4.systems/FAQ/#verif

It's actually a very impressive piece of work, I can't wait to read about the details of how it was done.

sanxiyn on July 29, 2014 [–]

Then go read http://www.nicta.com.au/pub?id=7371 :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact