Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. - Tao, Runzhou; Yao, Jianan; Li, Xupeng; Li, Shih-Wei; Nieh, Jason; Gu, Ronghui (2021)