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 |
Contact info : | kumar@cmi.ac.in |
Timeline Start Year : | 2015 |
Total Budget (INR): | 25,77,000 |
Details
Organizations involved
Implementing Agency : | Chennai Mathematical Institute (CMI), Siruseri 603103 Funding Agency :Department of Science & Technology (DST),
Government of India | |