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
Citations:5 - 2 self

Document Versions

Formalising a High-Performance Microkernel –Kevin Elphinstone, Gerwin Klein, Rafal Kolanski — 2006 — WORKSHOP ON VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS (VSTTE 06), MICROSOFT RESEARCH TECHNICAL REPORT MSR-TR2006-117