Formalising a High-Performance Microkernel (2006)

by Kevin Elphinstone, Gerwin Klein, Rafal Kolanski
Venue:WORKSHOP ON VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 06), MICROSOFT RESEARCH TECHNICAL REPORT MSR-TR2006-117