Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au - Kernel.org - Document - PDFSEARCH.IO

First Page	Meta Content
	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Document Date: 2008-07-22 18:53:53 Open Document File Size: 31,28 KB Share Result on Facebook City Sydney / / Country Australia / / / Facility University of New South Wales / / Organization Real Use Gernot Heiser School of Computer Science and Engineering / University of New South Wales / / ProvinceOrState New South Wales / / Region South Wales / / Technology Operating Systems / Operating System / / SocialTag Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture

Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, AuAdd to Reading List