SeL4: Formal verification of an operating-system kernel

Citation

Klein, G, Andronick, J, Elphinstone, K et al 2010, 'SeL4: Formal verification of an operating-system kernel', Communications of the Association for Computing Machinery, vol. 53, no. 6, pp. 107-115.

Year

2010

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  03 July 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers