February 8th, 2018 04:43 PM | |
prince karak | Re: cfdvs iitb At IIT Bombay The Centre for Formal Design and Verification of Software is set up with the broad aim of carrying out R&D activities in the area of quality software development with special focus on formal verification techniques for safety-critical applications. Formal verification methods are founded on rigorous mathematical techniques and hence enable development of quality software. Get workshop detail in Centre for Formal Design and Verification of Software IIT Bombay: Principle investigator: From IIT Bombay— G. Sivakumar (CSE)(Head) Supratik Chakraborty (CSE) Supratim Biswas (CSE) Amitabha Sanyal (CSE) Uday Khedkar (CSE) Sridhar Iyer (KReSIT) Krishna Shankara Narayanan (CSE) From BARC— S. D. Dhodapkar From TIFR— P. K. Pandya R. K. Shyamasundar Contact to: Centre for Formal Design and Verification of Software Basement Mathematics Department Indian Institute of Technology Bombay Powai Mumbai INDIA 400 076. Phone: +91 22 25768701 Fax: +91 22 25729002 |
February 8th, 2018 04:41 PM | |
Unregistered | Re: cfdvs iitb Hello sir, is there any one can tell me how to get detail about the schedule for work shop of Centre for Formal Design and Verification of Software IIT Bombay? |
November 30th, 2015 11:50 AM | |
nilesh | Cfdvs iitb Discuss about cfdvs iitb here. Welcome to Courses.ind.in and this page is for cfdvs iitb discussion. If you are looking for information on cfdvs iitb then ask your question is as much details as possible in the “Reply” box provided below. The more detailed your question will be, the more easy will it be for our experts to answers your query. And if you have any updated or latest information on cfdvs iitb, then please share you knowledge with our experts in the “Reply” box below. Your reply will be published here and your knowledge can help many people. Thanks for stopping by at Courses.ind.in. Please visit again. |