Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.

Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim

Browse the full SAC paper archive.