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
Note(s): Operating Systems, hypervisor, verification