SeL4: Formal verification of an OS kernel

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Arthur Leck Sewell, Harvey Tuch, Simon Winwood
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles
SOSP '09
Big Sky, Montana, USA
Association for Computing Machinery
New York, NY, USA
Pages 207-220
2009
Topic(s): os verification
Note(s): operating systems, verification, translation validation

Annotation burden