2023 2024 Student Forum

2023 2024 Student Forum (https://management.ind.in/forum/)
-   Main Forum (https://management.ind.in/forum/main-forum/)
-   -   CFDVS IIT Bombay (https://management.ind.in/forum/cfdvs-iit-bombay-340221.html)

Unregistered 12th January 2018 10:06 AM

CFDVS IIT Bombay
 
I want to get the details of the Centre for Formal Design and Verification of Software CFDVS of IIT Bombay so can you provide me?

pawan 12th January 2018 11:14 AM

Re: CFDVS IIT Bombay
 
The Centre for Formal Design and Verification of Software, IIT Bombay has been 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.

Facilities

The Centre was started in IIT Bombay in April 1999 with an initial outlay of Rs. 3.03 Crores.

It is housed in the basement of the Department of Mathematics in an area of 3000 Sq. ft., with two laboratories, one conference room, a few faculty and staff cabins.

The laboratories are equipped with a number of personal computers, high-end servers and workstations.

The current software resources include a number of public domain tools for formal specification and verification, advanced static analysis, dynamic analysis and testing tools (test-beds), modeling languages and related environments for real-time software supporting simulations and verification, hazard analysis tools and CASE tools and general programming environments.

Research Employees

Abhijat Vichare
Gift Samuel
Sameera Deshpande
Vilas Katte

Principal Investigators-

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-

Centre for Formal Design and Verification of Software
Basement Mathematics Department
Indian Institute of Technology Bombay
Powai Mumbai
INDIA 400 076.
E-Mail: office [AT] cfdvs.iitb.ac.in
Phone: +91 22 25768701
Fax: +91 22 25729002


All times are GMT +5. The time now is 01:56 PM.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2024, vBulletin Solutions Inc.
SEO by vBSEO 3.6.0 PL2


1 2 3 4