Verification of Reactive Systems 40-665  
  CE Department- Sharif University of Technology Spring 2015 - Group 1 

  Main Menu
   Discussion Area

Course Syllabus

 Verification of Reactive Systems - 40-665
  • Credit: 3 Units
  • Semester: Spring 2015
  • Group:  1
  • Lecture Class:   Sunday & Tuesay 1:30 - 3:00
  • Room:  006

 Text Book(s)
    Main Textbook:
    Baier, C. and Katoen, J.P. Principles of Model Checking, The MIT Press, 2008.
    Auxiliary Textbooks:
    Clarke, E., Grumberg, O. and Peled, D.A. Model Checking, The MIT Press, 1999.
    Huth, M. and Ryan, M. Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.
    Alur, R. and Henzinger, T.A. Computer-Aided Verification, Draft 1999.
    Manna, Z. and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag New York, Inc., 1992.
    Hoare, C. Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.
    Milner, R. Communication and Concurrency, Prentice-Hall, Englewood Cliffs, N.J., 1989.


 Teacher Assistants

 Evaluation [Grading Policy ]
    Programming Assignments: 10%
    Research Presentations: 10%
    Final Research Paper: 20%
    Midterm Exam: 20%
    Final Exam: 40%

 This website is visited 4407 times since January 2015. Updated Thursday 2015-02-05 14:33