Model Stack for the Pervasive Verification of a Microkernel-based Operating System.

Matthias Daum Jan Dörrenbächer Sebastian Bogan

Published in: VERIFY (2008)

Keyphrases

operating system
computer systems
databases
data sources
management system
model checking