From Operating-System Correctness to Pervasively Verified Applications.

Matthias Daum Norbert Schirmer Mareike Schmidt

Published in: IFM (2010)

Keyphrases

operating system
computer systems
virtual machine
microsoft windows
distributed systems
multi threaded
command line
database
linux kernel
multi tasking
memory management
virtual memory
operating environment
high assurance