Toward compositional verification of interruptible OS kernels and device drivers

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 02, 2016
Source ID
10.1145/2908080.2908101

Entities

People

  • Hao Chen
  • Joshua Lockerman
  • Ronghui Gu
  • Xiongnan (newman) Wu
  • Zhong Shao

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Electronic Science and Technology of China
  • Yale University