The use of formal methods in parallel operating systems.
John A. KeaneWalter HussakPublished in: COMPSAC (1992)
Keyphrases
- operating system
- formal methods
- computer systems
- multi threaded
- multicore processors
- model checking
- formal specification
- distributed systems
- virtual machine
- knowledge based systems
- parallel processing
- software engineering
- artificial intelligence
- operating environment
- address space
- parallel implementation
- application programs
- databases
- development lifecycle
- virtual memory
- parallel computation
- shared memory
- life cycle
- software architecture