A Practical verification Framework for Preemptive os Kernels Fengwei Xu Ming Fu Xinyu Feng Xiaoran Zhang Hui zhang Zhaohui Li University of Science and Technology of China Jy22,2016CAV2016 http://staff.ustcedu.cn/-fuming/research/certiucos/A Practical Verification Framework for Preemptive OS Kernels Fengwei Xu Ming Fu Xinyu Feng Xiaoran Zhang Hui Zhang Zhaohui Li University of Science and Technology of China July 22, 2016 CAV2016 http://staff.ustc.edu.cn/~fuming/research/certiucos/