2023 2024 Student Forum > Management Forum > Main Forum > CFDVS IIT Bombay

Thread: CFDVS IIT Bombay Reply to Thread
Your Username: Click here to log in
Title:
  
Message:
Trackback:
Send Trackbacks to (Separate multiple URLs with spaces) :
Post Icons
You may choose an icon for your message from the following list:
 

Additional Options
Miscellaneous Options

Topic Review (Newest First)
12th January 2018 11:14 AM
pawan
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
12th January 2018 10:06 AM
Unregistered
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?

Posting Rules
You may post new threads
You may post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off


All times are GMT +5. The time now is 02:31 AM.


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

1 2 3 4