Abstraction and composition: a verification method for co-operating systems.
Peter OchsenschlägerJürgen ReppRoland RiekePublished in: J. Exp. Theor. Artif. Intell. (2000)
Keyphrases
- operating system
- verification method
- model checking
- temporal logic
- computer systems
- high level
- microsoft windows
- distributed systems
- virtual machine
- windows xp
- multi threaded
- memory management
- machine learning
- multi tasking
- operating environment
- discretionary access control
- virtual memory
- web services
- information systems