Login / Signup
Configurable toolset for static verification of operating systems kernel modules.
Ilja S. Zakharov
Mikhail U. Mandrykin
Vadim S. Mutilin
Evgeny Novikov
Alexander K. Petrenko
Alexey V. Khoroshilov
Published in:
Program. Comput. Softw. (2015)
Keyphrases
</>
operating system
multi tasking
computer systems
model checking
virtual machine
high assurance
microsoft windows
distributed systems
information systems
machine learning
dynamic analysis
virtual memory
windows xp
database
software engineering
data mining
database software
operating environment
databases