seL4 – Open source formally verified bug free microkernel OS released
General Dynamics C4 Systems and NICTA are pleased to announce the open sourcing of seL4, the world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. It is still the world’s most highly-assured OS. What’s being released? It includes all of the kernel’s source code, all the proofs, plus other code Read more about seL4 – Open source formally verified bug free microkernel OS released[…]