Checking process-oriented operating system behaviour using CSP and refinement.
Fred R. M. BarnesCarl G. RitsonPublished in: ACM SIGOPS Oper. Syst. Rev. (2009)
Keyphrases
- operating system
- process oriented
- constraint satisfaction problems
- computer systems
- computer supported
- goal oriented
- virtual machine
- address space
- memory management
- distributed systems
- microsoft windows
- linux kernel
- windows xp
- multi tasking
- application level
- application programmer
- machine learning
- red hat
- operating environment
- virtual memory
- learning algorithm