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
Springer
Pages 40-54
2010
Note(s): Operating Systems, hypervisor, verification