Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

Browse the full TASE paper archive.