Synthesis, Analysis and Verification, SAV 2012
Course Materials
Week 01: February 20
- Monday - Lecture 01
- Tuesday - Exercise 01
- Friday - Lab 01
Week 02: February 27
- Monday - Lecture 02
- Tuesday - Exercise 02
- Friday - Lab 02
Week 03: March 05
- Monday - Lecture 03
- Tuesday - Exercise 03
- Friday - Lab 03
Week 04: March 12
- Monday - Lecture 04
- Tuesday - Exercise 04
- Friday - Lab 04
Week 05: March 19
- Monday - Lecture 05
- Tuesday - Exercise 05
- Friday - Lab 05
Week 06: March 26
- Monday - Lecture 06
- Tuesday - Exercise 06
- Friday - Lab 06
Week 07: April 2
- Monday - Lecture 07
- Tuesday - Exercise 07
- Friday - holiday, no lab
Week 08: April 9
- School holidays
Week 09: April 16
- Monday - Lecture 09 (quiz preparation)
- Tuesday - Quiz
- Friday - Lab 09
Week 10: April 23
- Monday - Lecture 10
- Tuesday - Exercise 10
- Friday - Lab 10 (Individual project discussions)
Week 11: April 30
- Monday - Lecture 11 (Individual project discussions)
- Tuesday - Exercise 11
- Friday: Lab 11 (Independent Work on Projects)
Week 12: May 07
- Monday - Lecture 12: Resolution Completeness. Introduction to Equality
- Tuesday - Exercise 12: Equality. BAPA
- Friday - Labs 12: WS1S
Week 13: May 14
- Monday - guest talk
- Tuesday - Exercise 13: More WS1S
- Friday - Talk by Sriram Rajamani
Week 14: May 21
- Monday - Lecture 14 about SMT
- Tuesday - Lecture about SMT
- Friday - Individual work and scheduled meetings on request
Week 15: May 28
- Monday - public holiday, no classes at EPFL
- Tuesday - Project Presentations
- Friday - Project Presentations
Upcoming Deadlines
General Information
The SAV 2012 course will be similar to SAV 2011. It will have all the same basic elements of grading, as well as the same major topics covered. The order of topics may be somewhat changed. The textbook “Calculus of Computation” remains the most useful textbook for this course.
The course is given in English.
The first class is on Monday, 20 February 2012, at 14:15 in INR 219.
The last class is on Friday, 1 June 2012.
Here is the EPFL Academic Calendar.
The grading is based on:
- short theoretical homeworks
- fixed programming project, done in stages
- midterm (in the second half of the semester)
- personalized project, with writing code (or new proofs), presentation and report
Schedule
- Mondays 14:15-16:00
- Tuesdays 16:15-18:00
- Fridays 10:15-12:00