Author:
Singh Abhishek,Pai Rekha,D’Souza Deepak,D’Souza Meenakshi
Publisher
Springer International Publishing
Reference25 articles.
1. Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for Java. ACM Trans. Program. Lang. Syst. (TOPLAS) 28(2), 207–255 (2006)
2. Alur, R., McMillan, K.L., Peled, D.A.: Model-checking of correctness conditions for concurrent objects. Inf. Comput. 160(1–2), 167–188 (2000)
3. Artho, C., Havelund, K., Biere, A.: High-level data races. J. Softw. Test. Verif. Reliab. 13, 207–227 (2003)
4. Barry, R.: The FreeRTOS kernel, v10.0.0 (2017).
https://freertos.org
5. Lecture Notes in Computer Science;N Chopra,2019
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static executes-before analysis for event driven programs;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software;Applied Sciences;2022-02-15
3. Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
4. Static analysis for detecting high-level races in RTOS kernels;Formal Methods in System Design;2021-01-08