Login / Signup

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.

Peter OchsenschlägerJürgen ReppRoland RiekeUlrich Nitsche
Published in: Formal Aspects Comput. (1998)
Keyphrases
  • operating system
  • computer systems
  • model checking
  • microsoft windows
  • high assurance
  • multi threaded
  • distributed systems
  • database
  • linux kernel
  • multi tasking