TY  - RPRT
TI  - A Spin-based model checking for the simple concurrent program on a preemptive RTOS
AU  - Chen-Kai Lin
AU  - Ching-Chun
AU  - Huang
AU  - Bow-Yaw Wang
PY  - 2018
UR  - https://arxiv.org/abs/1808.04239
ID  - 1808.04239
ER  -