A Practical Verification Framework for Preemptive OS Kernels

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41540-6_4 ◽

2016 ◽

pp. 59-79 ◽

Author(s):

Fengwei Xu ◽

Ming Fu ◽

Xinyu Feng ◽

Xiaoran Zhang ◽

Hui Zhang ◽

...

Download Full-text