Report copyright - Toward Compositional Verification of Interruptible OS ...rgu/publications/pldi16-chen.pdf · of device drivers, due to the non-local effects of interrupts. In this paper, we present
Please pass captcha verification before submit form