Verification of Real-Time and Hybrid Systems

Instructor: Amir Pnueli

Location: Ziskind 1

Time: Tuesday, 9-11

This semester the course concentrates on methods for the verification of real-time and hybrid systems. We start by reviewing the basic models and algorithmic processes for model checking of reactive systems.

Next, we extend the models and verification techniques to the more realistic and detailed models of real-time and hybrid systems.

Class Presentations

Lecture 1 -- March 7, 2000: postscript
Lecture 2 -- March 14, 2000: postscript
Lecture 3 -- March 21, 2000: postscript
Lecture 4 -- April 11, 2000: postscript
Lecture 5 -- April 18, 2000: postscript
Lecture 6 -- April 25, 2000: postscript
Lecture 7 -- May 16, 2000: postscript
Lecture 8 -- May 23, 2000: postscript
Lecture 9 -- May 30, 2000 (revised 12.6.00): postscript
Lecture 10 -- June 6, 2000: postscript

Amir Pnueli <amir@wisdom.weizmann.ac.il>