# 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