Record: found
Abstract: not found
Book Chapter: not found

Verifying the Microsoft Hyper-V Hypervisor with VCC

other

Author(s): Dirk Leinenbach , Thomas Santen

Publication date (Print): 2009

Read this book at

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 3

Record: found
Abstract: not found
Book Chapter: not found

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Mike Barnett, Bor-Yuh Chang, Robert DeLine … (2006)

0 comments Cited 73 times – based on 0 reviews

Record: found
Abstract: not found
Book Chapter: not found

The Spec# Programming System: An Overview

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte (2005)

0 comments Cited 58 times – based on 0 reviews

Record: found
Abstract: not found
Book Chapter: not found

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving

Stefan Maus, Michał Moskal, Wolfram Schulte (2008)

0 comments Cited 3 times – based on 0 reviews

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 806-809

DOI: 10.1007/978-3-642-05089-3_51

SO-VID: 4c3357e8-ed5b-41f3-afd5-328dd5ff9f3f

History

Data availability:

Verifying the Microsoft Hyper-V Hypervisor with VCC

Read this book at

Related collections

Point-of-Care Testing for HIV

Most cited references 3

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

The Spec# Programming System: An Overview

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,039

Cited by 12