Abhishek Singh, Meenakshi DSouza, Arshad Ebrahim. Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS. In 2018 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2018, Bangalore, India, September 19-22, 2018. pages 1273-1279, IEEE, 2018. [doi]
Abstract is missing.