Formal Verification of Interrupt Injection in a Hypervisor.

Haozhong Zhang Yu Guo

Published in: TASE (2014)

Keyphrases

formal verification
model checking
virtual machine
operating system
model checker
bounded model checking
automated verification
symbolic model checking
temporal logic
diesel engine
network resources
program slicing
contrast agent