A Practical Verification Framework for Preemptive OS Kernels.

Fengwei Xu Ming Fu Xinyu Feng Xiaoran Zhang Hui Zhang Zhaohui Li

Published in: CAV (2) (2016)

Keyphrases

main contribution
real world
data sets
databases
probabilistic model
kernel function
information retrieval
web services
database systems
reinforcement learning
optimal solution
scheduling problem
operating system