Login / Signup
Comprehensive formal verification of an OS microkernel.
Gerwin Klein
June Andronick
Kevin Elphinstone
Toby C. Murray
Thomas Sewell
Rafal Kolanski
Gernot Heiser
Published in:
ACM Trans. Comput. Syst. (2014)
Keyphrases
</>
formal verification
model checking
operating system
model checker
bounded model checking
symbolic model checking
open source
automated verification
program slicing
case study
temporal logic
artificial intelligence
markov decision processes
virtual machine
database manager