Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS. - Abhishek Singh; Meenakshi D'Souza; Arshad Ebrahim (ICACCI, 2018)

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. - Abhishek Singh; Meenakshi D'Souza; Arshad Ebrahim (SAC, 2021)