Research
Title : | Verification of concurrent software |
Area of research : | Computer Sciences and Information Technology |
Focus area : | Information and Communicati on Technology |
Principal Investigator : | Dr. Krishnan Narayan Kumar, Professor, Chennai Mathematical Institute (CMI), Siruseri 603103 |
Timeline Start Year : | 2015 |
Contact info : | kumar@cmi.ac.in |
Details
Total Budget (INR): | 25,77,000 |
Organizations involved
Implementing Agency : | Chennai Mathematical Institute (CMI), Siruseri 603103 |
Funding Agency : | Department of Science & Technology (DST),
Government of India |