A topical course in Computer Science

Model Checking: Theory and Practice

Instructor Paritosh K. Pandya
Room A249
Phone: (tifr) Ext. 2551
Email:  pandya@tcs.tifr.res.in
Time:  Monday 4:00 to 6:00 p.m  In Room No. D 405
Wednesday 11:00 to 13:00 a.m. In Room No. AG 69 

First Lecture: 25 January, 1999.

Model checking concerns itself with algorithmic techiques for verifying properties of system models. Developments in this area have revolutionised the applicability of formal methods. Model checking continues to be vibrant area of research and development.

The aim of the course is to introduce theoretical foundations on which present day  model checking tools are based,  and  to develop familiarity with some existing model checkers. The course content will be divided into core material, advanced topics and practicals.
Practical part of the of the course will involve gaining working familiarity with some existing model checking tools. Participants are expected to give seminar presentations on some advanced topics.


  • Syllabus
  • Lecture Schedule
  • References
  • Course Notes (not yet!)
  • Assignments (not yet!)

  • Last modified by Paritosh Pandya on 22 January 1999.