A Practical Verification Framework for Preemptive OS Kernels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li. A Practical Verification Framework for Preemptive OS Kernels. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Volume 9780 of Lecture Notes in Computer Science, pages 59-79, Springer, 2016. [doi]

This author has not been identified. Look up 'Fengwei Xu' in GoogleThis author has not been identified. Look up 'Ming Fu' in GoogleThis author has not been identified. Look up 'Xinyu Feng' in GoogleThis author has not been identified. Look up 'Xiaoran Zhang' in GoogleThis author has not been identified. Look up 'Hui Zhang' in GoogleThis author has not been identified. Look up 'Zhaohui Li' in Google

runs on WebDSL