A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson

Browse the full ISPDC paper archive.