CFDVS IIT Bombay - 2018 2019 Student Forum
 

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

  #2  
Old 12th January 2018, 11:44 AM
Super Moderator
 
Join Date: Aug 2012
Posts: 29,097
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
Sponsored Links






















Reply

Similar Threads
Thread Thread Starter Forum Replies Last Post
IIT Bombay GPA Unregistered Main Forum 1 30th January 2017 04:49 PM
BSC In IIT Bombay Unregistered Main Forum 1 28th January 2017 04:31 PM
IIT Bombay NMR Unregistered Main Forum 1 9th January 2017 01:05 PM
ICP-AES IIT-Bombay Unregistered Main Forum 1 6th January 2017 05:05 PM
IIT Bombay LCC Unregistered Main Forum 1 6th January 2017 12:22 PM
Indian Institute Of Technology Bombay (IIT Bombay) Unregistered Main Forum 1 6th January 2017 09:03 AM
XRF IIT Bombay Unregistered Main Forum 1 20th December 2016 02:36 PM
CEN IIT Bombay Unregistered Main Forum 1 17th December 2016 12:01 PM
MCA in IIT Bombay Unregistered Main Forum 1 18th November 2016 06:14 PM
IIT JEE Bombay Cut Off Unregistered Main Forum 1 29th May 2016 12:15 PM
IIT Bombay UG Unregistered Main Forum 1 28th May 2016 02:11 PM
MBA At IIT Bombay Unregistered Main Forum 1 17th May 2016 01:33 PM
IIT Bombay Phd Unregistered Main Forum 1 16th May 2016 05:35 PM
IIT Bombay LCC Unregistered Main Forum 1 14th May 2016 01:52 PM
IIT Bombay Unregistered Main Forum 3 18th December 2015 08:37 AM
IIT Bombay URA Unregistered Main Forum 3 25th November 2015 01:33 PM
IIT Bombay JAF Unregistered Main Forum 1 7th July 2015 04:37 PM
IIT Bombay Hcu Unregistered Main Forum 1 7th June 2015 05:26 PM
IIT Bombay MBA PHD sarika 45 Main Forum 3 24th March 2015 11:19 AM
IIT Bombay Indian Institute of Technology Bombay Unregistered Main Forum 3 24th February 2015 12:02 PM


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 05:27 PM.


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

1 2 3