Theory of Multicore Hypervisor Verification W. Paul Saarland University joint work with E. Cohen, S. Schmaltz….