seL4: Formal Verification of an OS Kernel


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.



ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Networking And Communications

Updated:  27 June 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers