Topical Course in Computer Science

Model Checking: Theory and Practice

Instructor Paritosh K. Pandya
Time and Venue:  Monday 4:00 to 6:00 p.m   in  D405
Wednesday 11:00 to 13:00 a.m. in AG69

Detailed Lecture schedule is here.

Main Topics:

  • Automata on Infinite Objects:
  • Logics for Infinite Behaviours:
  • Model checkers based on Automata on Infinite objects and Symbolic Model checkers:
  • Timed Automata:
  • Logics for Timed and Continuous Behaviors:
  • * Theory of Hybrid automata:
  • Model-checkers for Timed and Hybrid Systems: