Refinement Verification of OS Services based on a Verified Preemptive Microkernel.

Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi

Browse the full FASE paper archive.