| Instructor: | Paritosh K. Pandya
Room A249 Phone: (tifr) Ext. 2551 Email: pandya@tifr.res.in |
| Time: | Monday 15:00 to 17:00 p.m In Room No.
A 212
Wednesday 15:00 to 17:00 a.m. In Room No. A 212 |
| Course Page | http://www.tcs.tifr.res.in/~pandya/mc04/index.html |
| Course email | model@ecom.tifr.res.in |
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