|Instructor:||Paritosh K. Pandya
Phone: (tifr) Ext. 2551
|Time:||Monday 4:00 to 6:00 p.m In Room No.
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!)