The Blavatnik School of Computer Science TAU
Noam Rinetzky

Advanced course: Program analysis and verification

   Short description

Lectures

Date Topic Presentation
PPTX PDF
17-02-14 Overview Slides 1 PDF 1
24-02-14 Operational Semantics Slides 2 PDF 2
03-03-14 Operational and Denotational Semantics Slides 3 PDF 3
10-03-14 Denotational Semantics Slides 4 PDF 4
17-03-14 Axiomatic Semantics (Sequential I) Slides 5 PDF 5
24-03-14 Axiomatic Semantics (Sequential II) Slides 6 PDF 6
31-03-14 Axiomatic Semantics (Concurrency) Slides 7 PDF 7
07-04-14 Axiomatic Semantics (Rely/Guarantee) Slides 8 PDF 8
28-04-14 Abstract Interpretation 1 Slides 9 PDF 9
12-05-14 Abstract Interpretation 2 Slides 10 PDF 10
19-05-14 Abstract Interpretation 3 Slides 11 PDF 11
26-05-14 Abstract Interpretation 4 Slides 12 PDF 12
02-06-14 Numerical and Shape Domains Slides 13 PDF 13
09-06-14 Interprocedural Analysis Slides 14 PDF 14

Home Assignments

  1. Ex 1 (due Lesson 6).
  2. Ex 2 (due 28-April-2014).
  3. Ex 3 (due 10-July-2014).

Resources