- Record: found
- Abstract: not found
- Book Chapter: not found
Fundamental Approaches to Software Engineering
Modeling and Abstraction of Memory Management in a Hypervisor
other
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 references8
- Record: found
- Abstract: not found
- Book Chapter: not found
VCC: A Practical System for Verifying Concurrent C
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand … (2009)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
seL4: From General Purpose to a Proof of Information Flow Enforcement
T. Murray, D. Matichuk, M. Brassil … (2013)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
A Vasudevan, S Chaki, Limin Jia … (2013)