Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.
Hao ChenXiongnan (Newman) WuZhong ShaoJoshua LockermanRonghui GuPublished in: J. Autom. Reason. (2018)
Keyphrases
- car navigation
- operating system
- model checking
- kernel function
- kernel methods
- open source
- formal verification
- linear combination
- support vector
- database manager
- db universal database
- multiple kernel
- key factors
- face verification
- feature space
- search algorithm
- kernel learning
- asynchronous circuits
- virtual machine
- verification method
- neural network