Verifying the Microsoft Hyper-V Hypervisor with VCC

@inproceedings{pub4499,
    author = {

Leinenbach, Dirk
 and 

Santen, Thomas
},
    title = {Verifying the Microsoft Hyper-V Hypervisor with VCC},
    booktitle = {16th International Symposium on Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands},
    series = {Lecture Notes in Computer Science},
    year = {2009},
    volume = {5850},
    pages = {806--809},
    publisher = {Springer}
}