Verification of Operating System Monolithic Kernels Without Extensions.

Evgeny Novikov Ilja S. Zakharov

Published in: ISoLA (4) (2018)

Keyphrases

operating system
high assurance
computer systems
virtual machine
microsoft windows
distributed systems
memory management
model checking
operating environment
windows xp
application level
linux kernel
command line
databases
data structure
database management systems
multi tasking