LARA

Synthesis, Analysis and Verification, SAV 2012

Course Materials

Week 01: February 20

Week 02: February 27

Week 03: March 05

Week 04: March 12

Week 05: March 19

Week 06: March 26

Project suggestions

Week 07: April 2

Week 08: April 9

  • School holidays

Week 09: April 16

  • Monday - Lecture 09 (quiz preparation)
  • Tuesday - Quiz
  • Friday - Lab 09

Week 10: April 23

Week 11: April 30

  • Monday - Lecture 11 (Individual project discussions)
  • Tuesday - Exercise 11
  • Friday: Lab 11 (Independent Work on Projects)

Week 12: May 07

Week 13: May 14

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