Prakash Chandrasekaran, K. B. Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram. A multi-core version of FreeRTOS verified for datarace and deadlock freedom. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 62-71, IEEE, 2014. [doi]
Abstract is missing.