Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim. Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 1807-1814, ACM, 2021. [doi]
Abstract is missing.