Systematic Mapping Study: Formal Verification of Hypervisors

Hypervisors are a fundamental building block of modern computing, supporting cloud infrastructures, virtualization platforms, and security-critical systems. They enable multiple operating systems to run on shared hardware while enforcing strong isolation. At the same time, their low-level position i