seL4: formal verification of an operating-system kernel

Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. seL4: formal verification of an operating-system kernel. Communications of the ACM, 53(6):107-115, 2010. [doi]

Abstract

Abstract is missing.