Prathibha Prakash

According to our database, Prathibha Prakash authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Static analysis for detecting high-level races in RTOS kernels.

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

Formal Methods Syst. Des., 2021