Yuchao She, Hui Li, Hui Zhu. UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors. In Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You, editors, Information and Communicatiaon Technology - International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings. Volume 7804 of Lecture Notes in Computer Science, pages 300-305, Springer, 2013. [doi]
Abstract is missing.