Formal Verification of Interrupt Injection in a Hypervisor.

Haozhong Zhang, Yu Guo

Browse the full TASE paper archive.