Towards a Practical, Verified Kernel.

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser

Browse the full HotOS paper archive.