Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.

Joo F. Ferreira, Guanhua He, Shengchao Qin

Browse the full TASE paper archive.