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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1398-05-21 August 12, 2019 12:14 PM  
Grades of HW1 have been uploaded.

  1398-05-20 August 11, 2019 07:26 AM  
Dear All,

Grades of HW2 are available in Grades section.

Good Luck

  1398-05-20 August 11, 2019 07:07 AM  
Dear Students,

It is not necessary to use LTL properties for Part A of Question 2 in the third assignment.

Good luck.

  1398-05-14 August 05, 2019 08:15 PM  
Dear All,

Grades of the final exam are available in Grades section.

Good Luck

  1398-04-04 June 25, 2019 05:35 PM  
Dear Student,

You should prepare your research paper until 1st Shahrivar. Please give the hard copy to Prof. Movaghar, or put the hard copy in Prof. Movaghar's mailbox. Note that due date for delivery of the paper is 1st Shahrivar.

Wish you all the best
Have a good summer

  1398-03-10 May 31, 2019 09:43 AM  
Dear students,

The third assignment is uploaded. You can find it in the Assignments section. (Due Date: 1 Shahrivar)

  1398-02-22 May 12, 2019 06:16 PM  
Dear All,

Deadline of the second assignment has been extended to 31st Ordibehesht.

Good Luck

  1398-02-21 May 11, 2019 07:19 PM  
Dear All,

Grades of the mid-term exam is available in Grades.

Good Luck

  1398-02-10 April 30, 2019 07:33 AM  
Dear students,

The first assignment deadline is extended until 17th of Ordibehesht.

  1398-02-07 April 27, 2019 12:22 PM  
Dear students,

The second assignment is uploaded. You can find it in the Assignments section. (Due Date: 27 Ordibehesht)

  1398-01-25 April 14, 2019 09:14 AM  
Dear students,

Information about FSEN 2019 is available in the Resources section.

  1398-01-21 April 10, 2019 05:34 PM  
Dear students,

The first assignment is uploaded. You can find it in the Assignments section. (Due Date: 5 Ordibehesht)

  1397-12-13 March 04, 2019 08:25 AM  
Dear Students,

Midterm Exam will be held on 10th of Ordibehesht, 1398, i.e., 1398/02/10.  The exam time is 9:00 - 10:30 at Room 204.

Good luck!

Instructor:
Ali Movaghar
(movaghar@sharif.edu)

3 Units
Sundays & Tuesdays 9:00 - 10:30

 This website is visited 2006 times since January 2019. Updated Monday 2020-09-07 09:53