Authors
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
Publication date
2007/5/7
Conference
HotOS
Description
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel-how to provide a productive and iterative development methodology for both operating system developers and formal methods practitioners.
Total citations
Scholar articles
K Elphinstone, G Klein, P Derrin, T Roscoe, G Heiser - HotOS, 2007