Anirudh Kushwah

According to our database, Anirudh Kushwah authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2015