Automated Verification of a Small Hypervisor.

Eyad Alkassar Mark A. Hillebrand Wolfgang J. Paul Elena Petrova

Published in: VSTTE (2010)

Keyphrases

automated verification
model checking
automated reasoning
operating system
small number
formal verification
data sets
database systems
virtual machine