Towards a Practical, Verified Kernel

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser. Towards a Practical, Verified Kernel. In Galen C. Hunt, editor, Proceedings of HotOS 07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA. USENIX Association, 2007. [doi]

Abstract

Abstract is missing.