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.
@inproceedings{SOSP-2009-KleinEHACDEEKNSTW, 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, }