Login / Signup
Toward compositional verification of interruptible OS kernels and device drivers.
Hao Chen
Xiongnan (Newman) Wu
Zhong Shao
Joshua Lockerman
Ronghui Gu
Published in:
PLDI (2016)
Keyphrases
</>
operating system
car navigation
kernel function
model checking
open source
kernel methods
feature space
virtual machine
data processing
data sets
formal verification
gaussian kernels
verification method
shortest path
temporal logic
face verification
gaussian kernel
portable devices
support vector