Integrating Formal Schedulability Analysis into a Verified OS Kernel.

Xiaojie Guo Maxime Lesourd Mengqi Liu Lionel Rieg Zhong Shao

Published in: CAV (2) (2019)

Keyphrases

statistical analysis
neural network
artificial intelligence
data analysis
operating system
data mining
information retrieval
pairwise
virtual machine