A Spin-based model checking for the simple concurrent program on a preemptive RTOS. - Chen-Kai Lin; Ching-Chun Huang; Bow-Yaw Wang (CoRR, 2018)

Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. - Chen-Kai Lin; Bow-Yaw Wang (ICFEM, 2024)