Verifying Preemptive Kernel Code with Preemption Control Support.

Yu Guo, Haozhong Zhang

Browse the full TASE paper archive.