#1
| |||
| |||
Cfdvs iitb |
#3
| |||
| |||
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 |
|