Gerwin Klein, Philip Derrin, Kevin Elphinstone. Experience report: seL4: formally verifying a high-performance microkernel. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 91-96, ACM, 2009. [doi]
@inproceedings{KleinDE09,
title = {Experience report: seL4: formally verifying a high-performance microkernel},
author = {Gerwin Klein and Philip Derrin and Kevin Elphinstone},
year = {2009},
doi = {10.1145/1596550.1596566},
url = {http://doi.acm.org/10.1145/1596550.1596566},
researchr = {https://researchr.org/publication/KleinDE09},
cites = {0},
citedby = {0},
pages = {91-96},
booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
editor = {Graham Hutton and Andrew P. Tolmach},
publisher = {ACM},
isbn = {978-1-60558-332-7},
}