|Instructor:||Paritosh K. Pandya
Phone: (tifr) Ext. 2551
|Time:||Tuesday 11:00 to 13:00 a.m In
Friday 11:00 to 13:00 a.m. In Room No. A21
First Lecture: 21 January 2006.
Theory of Computation deals with foundational questions about
mechanisms and their
computing power culminating in in the treatment of questions "what
are limits to computation". Verification of system explores
mathematical techniques to analyse and guarantee the desirable
properties of system behaviour. This course will cover some basic
foundations of automata based verification of systems.
An emphasis in the course will be on Seminar presentations and Solution to Exercises.
Dexter Kozen, Automata and Computability
Hopcroft and Ullman, Introduction to Automata Theorey, Languages and
Clarke, Peled, Grumberg, Model Checking.
Syllabus Lecture Schedule Homework Assignments Seminar topics References Links