Verifying the Microsoft Hyper-V Hypervisor with VCC
- 1 January 2009
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem ProvingPublished by Springer Nature ,2008
- Z3: An Efficient SMT SolverPublished by Springer Nature ,2008
- Boogie: A Modular Reusable Verifier for Object-Oriented ProgramsPublished by Springer Nature ,2006
- The Spec# Programming System: An OverviewPublished by Springer Nature ,2005