This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
June Andronick
A grouping.
The seL4 project: the 2009 machine-checked verification of the kernel, and the two CACM retrospectives on what verified software achieves in practice and how it was deployed. These three are the shared core of the project, the papers everyone on it signed, without the groundwork or the timing-channel work that distinguishes the other seL4 pages here.
3 references
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery