Go Back   2018 2019 Student Forum > Management Forum > Main Forum



 
Thread Tools
  #1  
Old 12th January 2018, 10:36 AM
Unregistered
Guest
 
Posts: n/a
Default 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?
Reply With Quote Quick reply to this message
Similar Threads
Thread
IIT Bombay GPA
BSC In IIT Bombay
IIT Bombay NMR
ICP-AES IIT-Bombay
IIT Bombay LCC
Indian Institute Of Technology Bombay (IIT Bombay)
XRF IIT Bombay
CEN IIT Bombay
MCA in IIT Bombay
IIT JEE Bombay Cut Off
IIT Bombay UG
MBA At IIT Bombay
IIT Bombay Phd
IIT Bombay LCC
IIT Bombay
IIT Bombay URA
IIT Bombay JAF
IIT Bombay Hcu
IIT Bombay MBA PHD
IIT Bombay Indian Institute of Technology Bombay
  #2  
Old 12th January 2018, 11:44 AM
Super Moderator
 
Join Date: Aug 2012
Posts: 40,711
Default 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
Reply With Quote Quick reply to this message
Reply


Quick Reply
Your Username: Click here to log in

Message:
Options

Thread Tools Search this Thread



All times are GMT +5.5. The time now is 03:13 AM.


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

1 2 3