Synthesis, Analysis, and Verification 2013

For Moodle page: click here

The course will be similar to SAV 2012 and SAV 2011. (See there for overview as well.)

We initially refresh our knowledge of logic and agree on notation, but for a more thorough introduction, in addition to many textbooks, you may wish to check the videos of Introduction to Logic course at Coursera.

Grading scheme is weighted average rounded to half-grades using a linear non-homogeneous function:

Main changes compared to SAV 2012 is a little more focus on verifying recursive functional programs over imperative programs. This will also include some reordering of the material, including descriptions of fixpoints and recursion earlier, as well as earlier coverage of quantifier elimination.

Teaching staff:


Synthesis, Analysis, and Verification 2013 Schedule

-And how many hours a day did you do your lessons?

-Ten hours the first day, nine the next, and so on.

-What a curious plan!

-That's the reason they're called lessons, because they lessen from day to day.

Week 01

Week 02

Week 03

Week 04

Week 05

Week 06

Spring Break

Week 07

Week 08

Week 09

Week 10

Week 11

Week 12

Week 13

Week 14

Important dates