Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.

June Andronick Corey Lewis Carroll Morgan

Published in: MARS (2015)

Keyphrases

operating system
computer systems
distributed systems
microsoft windows
embedded systems
virtual machine
memory management
database systems
linux kernel
operating environment
windows xp
concurrency control
multi threaded
database management systems
high speed
information systems
multi tasking