VRS Main Page Assignments Solutions Grades Links
This page is designed for VRS students.
Course Description

  • Instructor: Dr. Movaghar
  • Text Books:
    1. R. Alur, and T. A. Henzinger, "Computer-aided Verification", Draft, 1999.
    2. E. M. Clarke, D. Feled, and O. Grumberg, "Model Checking", MIT Press, 1999.
    3. Z. Manna, and A. Pnuel, "The Temporal Logic of Reactive and Concurrent Systems", Springer-Verlag, 1991.
  • To download the text book and lecture notes, go to Assignments section.


Designed by Ehsan Chiniforooshan (Oct. 2, 2001):
chinif@linux.ce.sharif.ac.ir
chiniforooshan@yahoo.com
[VRS Main Page] [Assignments] [Solutions] [Grades] [Links]