Yu Guo, Haozhong Zhang. Verifying Preemptive Kernel Code with Preemption Control Support. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 26-33, IEEE, 2014. [doi]
Abstract is missing.