Static Analysis for Detecting High-Level Races in RTOS Kernels.

Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza

Browse the full FM paper archive.