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
DOI: 10.1145/2560537
Grants
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.