Formalising a High-Performance Microkernel

Formalising a High-Performance Microkernel (2006)

Cached

Download Links

[www.ertos.nicta.com.au]
[www.cse.unsw.edu.au]

Save to List
Add to Collection
Correct Errors
Monitor Changes

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:	4 - 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