Static Race Detection for RTOS Applications
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)