A multi-core version of FreeRTOS verified for datarace and deadlock freedom. - Prakash Chandrasekaran; Kavum Muriyil Balachandran Shibu Kumar; Remish L. Minz; Deepak D'Souza; Lomesh Meshram (MEMOCODE, 2014)