Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. seL4: formal verification of an operating-system kernel. Communications of the ACM, 53(6):107-115, 2010. [doi]
@article{KleinAEHCDEEKNSTW10,
title = {seL4: formal verification of an operating-system kernel},
author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser 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},
year = {2010},
doi = {10.1145/1743546.1743574},
url = {http://doi.acm.org/10.1145/1743546.1743574},
tags = {operating system},
researchr = {https://researchr.org/publication/KleinAEHCDEEKNSTW10},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {53},
number = {6},
pages = {107-115},
}