Workshop on Formal Verification and Analysis Tools

conducted by

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

Feb 19-21, 2017


Schedule

19th Feb 2017

Time Event Speaker
0930-0945 Introduction to CFDVS activities slides Prof. Supratik Chakraborty and Prof. G. Sivakumar (IITB)
0945-1000 CFDVS-BARC Collaborations and Benefits Dr. A. K. Bhattacharjee (BARC)
1000-1045 Invited talk slides Debashish Das, Associate Director, (BARC)
1045-1115 Tea
1115-1215 SAT/SMT Solving and Some Applications slides Prof. Ashutosh Gupta (TIFR)
1215-1300 Counting, Sampling and Some Applications slides Prof. Supratik Chakraborty (IITB)
1300-1400 Lunch
1400-1530 Requirement Modelling and Analysis with DCTOOLS Prof. Paritosh Pandya (TIFR), Prof. S. Krishna and Prof. Bharat Adsul (IITB)
1530-1600 Tea
1600-1700 Demo on Requirement Modelling Tool Amol Wakankar and Rajmohan Matteplackel


20th Feb 2017

Time Event Speaker
0930-1030 Evaluation Techniques Employed in
Mission Critical Software of Launch Vehicles
slides Dr. Valsa B. (VSSC, ISRO)
1030-1100 Tea
1100-1145 Word-level Symbolic Trajectory Evaluation for Hardware Verification slides Prof. Supratik Chakraborty (IITB)
1145-1215 VBMC: A VHDL Bounded Model Checker slides Ajith K J (BARC)
1215-1300 A Portfolio Model Checker for Hardware slides Dr. Shetal Shah and Prof. Supratik Chakraborty (IITB)
1300-1400 Lunch
1400-1445 Boolean Functional Synthesis slides Prof. Akshay S. and Prof. Supratik Chakraborty (IITB)
1500-1530 Tea
1530-1700 Hands on with Hardware Verification Tools


21st Feb 2017

Time Event Speaker
0900-1000 Invited talk slides Dr. S. Ramesh (GM, R&D)
1000-1030 CBMC: Bounded Software Model Checking slides Prateek Saxena (BARC)
1030-1100 Tea
1100-1200 Foundation for Language based Security slides1 slides2 Prof. R. K. Shyamasundar (IITB)
1200-1300 Abstract interpretation based C analyzer slides Dr. Hrishikesh Karmarkar and Prof. Supratik Chakraborty (IITB)
1300-1400 Lunch
1400-1530 Hands on with CBMC and CAnalyzer Dr. Hrishikesh Karmarkar (IITB) and Prateek Saxena (BARC)
1530-1600 Tea
1600-1700 Panel Discussion Y.S. Mayya, R.K. Shyamasundar, Supratik Chakraborty, Paritosh Pandya, BRNS