Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Runzhou Tao, Jianan Yao, Xupeng Li, Shih-wei Li, Jason Nieh, Ronghui Gu. Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. In Robbert van Renesse, Nickolai Zeldovich, editors, SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021. pages 866-881, ACM, 2021. [doi]

This author has not been identified. Look up 'Runzhou Tao' in GoogleThis author has not been identified. Look up 'Jianan Yao' in GoogleThis author has not been identified. Look up 'Xupeng Li' in GoogleThis author has not been identified. Look up 'Shih-wei Li' in GoogleThis author has not been identified. Look up 'Jason Nieh' in GoogleThis author has not been identified. Look up 'Ronghui Gu' in Google

runs on WebDSL