Formal Specification and Verification of Programs 40-745 
  CE Department- Sharif University of Technology 92-93-1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1392-11-15 February 04, 2014 07:59 AM  
Final grades are passed to Amoozesh. see the Grades

  1392-11-06 January 26, 2014 12:27 PM  
final exam marks are ready. Check the grades. Come to my office to review your Final Exam paper
Tomorrow Monday and Tuesday at 9-11

  1392-11-02 January 22, 2014 12:13 PM  
Grades of all HWs are uploaded in Grades section.
Objections will be considered on the day of project presentations (Bahman 13th).

  1392-10-22 January 12, 2014 11:21 AM  
Grades of all Quizzes are uploaded in Grades section.

  1392-10-18 January 08, 2014 08:01 AM  
Project submission and presentation guideline is uploaded in Assignments section.

UPDATE: The deadline is 92/11/13.

  1392-10-01 December 22, 2013 09:52 AM  
HW3 is uploaded.

  1392-09-12 December 03, 2013 07:20 AM  
HW2 is uploaded. Deadline for this HW is extended until 10 days after the previously determined deadline. Sorry for the delay...

  1392-09-10 December 01, 2013 08:15 AM  
TA Class regarding the issues about the lectures and quizzes will be held on Monday, Azar 11th (16:30-18:00), in Room 202.

  1392-08-07 October 29, 2013 08:01 AM  
Check the new Timetable in the Resources.

  1392-07-30 October 22, 2013 08:36 AM  
HW1 is added to Assignments section.

  1392-07-28 October 20, 2013 08:44 PM  
List of accepted project proposals is uploaded in Resources section.
Also, the list of final groups is updated.

  1392-07-15 October 07, 2013 10:26 AM  
Suggested sources for your course presentations are in file "SuggestedPresentationSources.pdf" in Resources section.

  1392-07-09 October 01, 2013 09:15 AM  
Final list of groups is uploaded in file "GroupsFinal.pdf" in Resources section.

  1392-07-08 September 30, 2013 10:32 AM  
List of groups until 92/07/08 is in file "Groups.pdf" in Resources section.

Note that all students who have not announced their groups yet are not elligible for HW & Project proposal.

  1392-07-02 September 24, 2013 10:32 AM  
You can get ideas on how to write your project proposals by referring to the proposals of previous semesters' students.

  1392-06-24 September 15, 2013 05:59 AM  
First guideline for submission of HWs and Term Project is uploaded in Resources section.

  1392-06-24 September 15, 2013 05:10 AM  
Check the resources for the Timetable of the course.

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian at sharif domain name)

3 Units
Saturday and Monday 9:00-10:30
Room: 204

 This website is visited 5740 times since September 2013. Updated Monday 2020-09-07 09:26