Verification of Reactive Systems

Thursday, 5:00-7:00 PM
Room 613, 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.

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

Course topics:

Online References

Lecture Notes

Instructions for class mailing list