Modular verification of preemptive OS kernels.
Alexey GotsmanHongseok YangPublished in: J. Funct. Program. (2013)
Keyphrases
- operating system
- scheduling problem
- kernel function
- model checking
- modular structure
- lower bound
- open source
- scheduling algorithm
- db universal database
- signature verification
- face verification
- database
- linear combination
- support vector
- database manager
- priority queue
- windows nt
- virtual machine
- cryptographic protocols
- formal verification
- gaussian kernel
- kernel learning
- data structure