Verification of Infinite-State Reactive Systems

G22.3033.007.Fl00
Wednseday, 5:00-7:00 PM
Room 101, Warren Weaver Hall
Professor Amir Pnueli

Reaching Me

Prerequisites: Some background in algorithm design, familiarity with the language of first-order logic, and parallel programs.

Course requirements: Assignments and a term project.

Textbooks:
Recommended: Temporal Verification of Reactive Systems: Safety by Zohar Manna and Amir Pnueli, Springer-Verlag

Course topics:

Lecture Notes

Instructions for class mailing list