![](/img/cover-not-exists.png)
Comprehensive formal verification of an OS microkernel
Klein, Gerwin, Andronick, June, Elphinstone, Kevin, Murray, Toby, Sewell, Thomas, Kolanski, Rafal, Heiser, GernotVolume:
32
Language:
english
Journal:
ACM Transactions on Computer Systems
DOI:
10.1145/2560537
Date:
February, 2014
File:
PDF, 9.24 MB
english, 2014