Theory of Multi Core Hypervisor Verification Ernie Cohen1, Wolfgang Paul2, and Sabine Schmaltz2 1 Microsoft ecohen(at)microsoft.com 2 Saarland University, Germany {wjp,sabine}(at)wjpserver.cs.uni-saarland.de…