Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 23, 2017
Source ID
10.1007/s10817-017-9446-0

Entities

People

  • Hao Chen
  • Joshua Lockerman
  • Ronghui Gu
  • Xiongnan Wu
  • Zhong Shao

Organizations

  • China Scholarship Council
  • Defense Advanced Research Projects Agency
  • Division of Computer and Network Systems