The following publications are possibly variants of this publication:
- Refinement in the Formal Verification of the seL4 MicrokernelGerwin Klein, Thomas Sewell, Simon Winwood. In David S. Hardin, editor, Design and Verification of Microprocessor Systems for High-Assurance Applications. pages 323-339, Springer, 2010. [doi]
- Large-scale formal verification in practice: A process perspectiveJune Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu. ICSE 2012: 1002-1011 [doi]
- Verified Protection Model of the seL4 MicrokernelDhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone. vstte 2008: 99-114 [doi]
- seL4: formal verification of an OS kernelGerwin 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. sosp 2009: 207-220 [doi]
- seL4: formal verification of an operating-system kernelGerwin 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. CACM, 53(6):107-115, 2010. [doi]
- Comprehensive formal verification of an OS microkernelGerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser. tocs, 32(1):2, 2014. [doi]