seL4: formal verification of an OS kernel
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an OS kernel
SOSP, 2009.

SOSP 2009
Full names Links ISxN
	author        = "Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood",
	booktitle     = "{Proceedings of the 22nd ACM Symposium on Operating Systems Principles}",
	doi           = "10.1145/1629575.1629596",
	isbn          = "978-1-60558-752-3",
	pages         = "207--220",
	publisher     = "{ACM}",
	title         = "{seL4: formal verification of an OS kernel}",
	year          = 2009,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.