Formal Specification and Verification of Programs 40745 
  CE Department- Sharif University of Technology 93-94-1 - Group 1 

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1393-11-12 February 01, 2015 09:27 PM  
Your presentation will be held tomorrow at 13/11/93.
Time table has been uploaded to Resources section.

  1393-11-11 January 31, 2015 06:39 PM  
Final marks till now is ready. Still I am waiting for your exercises and project marks.
If you think I should review your final exam paper send me an Email not later than 93/10/14.
I will pass the grade on 93/11/15.

  1393-10-20 January 10, 2015 11:10 AM  
Term Project is added to Assignments section.
The deadline is 13/11/93.

  1393-10-14 January 04, 2015 11:13 AM  
Read the following materials for the final Exam:
Chapters 1-14: Slides + Book + (fsvp-example-enroll-slide.pdf) + (slides13-multiple.pdf)
Refinement: Only Slides (fsvp-c16s-ref-slide-931008.pdf)
Proof: Slides (fsvp-c15m-ver-slide-931001.pdf) + Book

  1393-09-27 December 18, 2014 08:20 AM  
An explanation about HW2 is uploaded in Resources section.
Please read it carefully.

  1393-09-27 December 18, 2014 08:03 AM  
HW2 deadline is extended until 05/10/93.
We are try to hold a TA class in time of your class (Saturday or Monday).

  1393-09-25 December 16, 2014 03:58 PM  
Timetable is updated

  1393-09-14 December 05, 2014 09:12 PM  
HW2 is added to Assignments section.
The deadline is 30/09/93

  1393-09-11 December 02, 2014 03:25 PM  
A sample for HW1 is uploaded.

  1393-09-04 November 25, 2014 09:15 AM  
Timetable is changed. see the new timetable in Resources.
Pay attention to the RED boxes

  1393-08-28 November 19, 2014 03:46 PM  
HW1 deadline is extended until 13/09/93.

  1393-08-24 November 15, 2014 11:50 AM  
HW1 is added to Assignments section.
The deadline is 03/09/93

  1393-08-03 October 25, 2014 06:17 PM  
See the new Timetable in resources.

  1393-08-02 October 24, 2014 08:24 PM  
Hello everyone,

The Last version of your selected problems has been uploaded. The following guys have no group  yet:
1.علی الیاسی
2.ریحانه عامره
3.سمیرا تقوی
4.محمدرضا توکلی
5.سحر بدیهی
6.آیدا مصطفی زاده دوانی
7.رامین بهلولی

Thanks,
Mirzaei

  1393-07-30 October 22, 2014 03:51 PM  
Please see the new Timetable. Important :Quiz 4 is now on 93/8/5 instead of 93/8/10.

  1393-07-22 October 14, 2014 09:57 PM  
Hello everyone and Happy EID-AL-GHADIR,

Some resources uploaded. Please look at them and consider the followings:
1. "Sample problems" is a list of problems that used in previous semesters.
2. "Selected problems" is list of your classmate selected problems. Those problems in red should be changed because they are selected by others.
3. If anyone has no group, please send me an email.
4. Each group should read "Document Hint" and send me an document based on "Document Template".

Best wishes,
Hamed Mirzaei

  1393-07-19 October 11, 2014 08:53 AM  
Hello everyone,

The deadline for sending your group info is Monday (93/07/21). After that, we'll put remaining people in random groups of 3 or 2.

Best wishes,
Hamed Mirzaei

  1393-07-14 October 06, 2014 07:28 PM  
Hello everyone,

Please send your group members and also your programs declaration to hamedmirzaei@ce.sharif.edu until Friday(1393/07/18).

Best wishes

  1393-07-14 October 06, 2014 08:15 AM  
See the new timetable in Resources.

  1393-07-01 September 23, 2014 10:34 AM  
See the Timetable in Resources.

Instructor:
Seyed-Hassan Mirian-Hosseinabadi
(hmirian at Sharif Domain Name)

3 Units
Saturday and Monday 09:00-10:30
Room: 726

 This website is visited 3307 times since September 2014. Updated Tuesday 2015-04-07 11:59