Toward compositional verification of interruptible OS kernels and device drivers.

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

Browse the full PLDI paper archive.