[Kata-hypervisor] Formal verification