TY  - RPRT
TI  - Static Race Detection for RTOS Applications
AU  - Rishi Tulsyan
AU  - Rekha Pai
AU  - Deepak D'Souza
PY  - 2020
UR  - https://arxiv.org/abs/2010.02642
ID  - 2010.02642
ER  -