Login / Signup
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Peter Ochsenschläger
Jürgen Repp
Roland Rieke
Ulrich 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