A Practical Verification Framework for Preemptive OS Kernels.

Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li

Browse the full CAV paper archive.