seL4
- 11 October 2009
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 207-220
- https://doi.org/10.1145/1629575.1629596
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Formal Verification of C Systems CodeJournal of Automated Reasoning, 2009
- Balancing the LoadJournal of Automated Reasoning, 2009
- Operating System VerificationJournal of Automated Reasoning, 2009
- A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System CodeElectronic Notes in Theoretical Computer Science, 2008
- The MILS architecture for high-assurance embedded systemsInternational Journal of Embedded Systems, 2006
- Toward real microkernelsCommunications of the ACM, 1996
- Kit: a study in operating system verificationIEEE Transactions on Software Engineering, 1989
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- HYDRACommunications of the ACM, 1974
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970