ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang

Browse the full ICECCS paper archive.