Open Kernel Labs’ kernel proved correct
February 4th, 2010 at 02:46pm Under Virtualisation
L4 and its variants is a popular microkernel that can be found in many places, including even right at the bottom of Google’s Android system. So, I was interested to read about a formal proof for seL4, after five years of work by Open Kernel Labs and NICTA, Australia’s Information and Communications Technology Research Centre [...]
Continue Reading Open Kernel Labs’ kernel proved correct
Tags: open kernel labs, sel4
By Ken Y-N Add comment
