UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors. - Yuchao She; Hui Li 006; Hui Zhu 001 (ICT-EurAsia, 2013)