Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
Yanhong HuangYongxin ZhaoLongfei ZhuQin LiHuibiao ZhuJianqi ShiPublished in: TASE (2011)
Keyphrases
- operating system
- linux kernel
- address space
- application level
- windows xp
- computer systems
- virtual machine
- microsoft windows
- windows nt
- programs written
- protection scheme
- constraint satisfaction problems
- distributed systems
- processor core
- virtual memory
- programming language
- ibm eservertm
- red hat
- multi threaded
- case study
- application programs
- source code
- data structure