Automated verification of a small hypervisor
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Verified Software: Theories, Tools, and Experiments
Springer
Pages 40-54
2010
Topic(s): os verification
Springer
Pages 40-54
2010
Topic(s): os verification