LARA

Synthesis, Analysis, and Verification 2010

Course Material

Week 01, February 22

Week 02, March 01

Week 03, March 08

Week 04, March 15

  • Monday: Exercises: first order logic, models
  • Tuesday, 16:15: QUIZ
  • Friday: Lecture 04

Week 05, March 22

Week 06, March 29

Week 07, April 5 - Spring Break

Week 08, April 12

Week 09, April 19

Week 10, April 25

→ see the paper Automatic modular abstractions for linear constraints in POPL 2009

Week 11, May 3

  • Monday 14:15: Lecture 12
  • Tuesday, 16:15: Exercises
  • Friday - no scheduled class; work on the project independently

Week 12, May 10

Week 13, May 17

Week 14, May 25

Week 151), May 31

Week 16

  • Project Presentations on June 10
1)
it's 15 because we counted Spring break