Verifying the Microsoft Hyper-V Hypervisor with VCC.

Dirk Leinenbach Thomas Santen

Published in: FM (2009)

Keyphrases

operating system
virtual machine
microsoft windows
model checking
windows xp
business intelligence
network resources
sql server
visual basic
computer systems
microsoft sql server
databases
database design
windows nt