Journal article

Comprehensive Formal Verification of an OS Microkernel

G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, G Heiser

ACM Transactions on Computer Systems | Association for Computing Machinery (ACM) | Published : 2014


Funding Acknowledgements

NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program.