Workshop on Formal Verification and Analysis Tools

conducted by

Centre for Formal Design and Verification of Software (CFDVS), IIT Bombay

Feb 19-21, 2017


The aim of this workshop is to provide a user-centric exposure to the tools and techniques developed at CFDVS, so that a wider set of users can benefit from the technologies developed over the past decade. The workshop will also involve detailed demonstrations of state-of-the art formal verification tools from other labs around the world, and which our work builds upon. The workshop is primarily intended for designers and developers working on safety critical applications in sectors such as defence, space, nuclear energy, telecommunications, transport etc. It is also intended for researchers and academicians interested in applications of formal methods in formal design and verification of systems. Yet another objective of the workshop is to seek feedback on important problems faced by the user community, in which formal methods can perhaps be fruitfully exploited.


The updated programme is available here. The slides are being uploaded. Please watch the schedule page.

Venue: Seminar Hall, B Block, 3rd Floor, Kanwal Rekhi (KReSIT) Building, Department of Computer Science and Engineering

Directions from MTNL Guest house:

Logistics of Workshop

Individuals desirous of attending the workshop are required to fill in their details at the registration portal here.

There are no registration fees. Total number of participants will be limited to 50. Accommodation must be paid for by the attendees; we can put desirous attendees in touch with MTNL Guest House (close to IIT Bombay), if they so wish. Lunch, tea and snacks will be given during the workshop. Attendees are expected to make their own arrangements for dinner and travel.

Organizing Committee

Supratik Chakraborty (IIT Bombay) S. Krishna (IIT Bombay) Paritosh Pandya (TIFR)
A.K. Bhattacharjee (BARC) Bharat Adsul (IIT Bombay) Akshay S (IIT Bombay)
Shetal Shah (IIT Bombay) Hrishikesh Karmarkar (IIT Bombay) Ajith K John (BARC)
Amol Wakankar (BARC) Prateek Saxena (BARC) Chandrakant Talekar (CFDVS)

For any queries, please write to