Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi

Browse the full TASE paper archive.