Login / Signup

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. HeckmanCui ZhangBrian R. BeckerDave PeticolasKarl N. LevittRonald A. Olsson
Published in: TPHOLs (1996)
Keyphrases
  • operating system
  • computer systems
  • virtual machine
  • distributed systems
  • memory management
  • microsoft windows
  • operating environment
  • windows xp
  • red hat
  • linux kernel
  • data warehouse
  • address space
  • high assurance