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

Browse the full MEMOCODE paper archive.