seL4: Formal Verification of an OS Kernel
Citation
Klein, G, Elphinstone, K, Heiser, G et al 2009, 'seL4: Formal Verification of an OS Kernel', ACM Symposium on Operating Systems Principles (SOSP 2009), ed. J. Matthews, T. Anderson, Association for Computing Machinery Inc (ACM), New York, pp. 207-220.Year
2009ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Networking And Communications