Analyis And Verification of Software

Spring 2015

prof. A. Cortesi

Reference books


Lecture notes - 2015

  1. (02.02.2015) Introduction to Static Analysis Techniques: Approach and Use(pdf)
  2. (03.02.2015) Tour of common optimizations(pdf)
  3. (09.02.2015) Partial orders, Lattices, Continuous Functions, Fixpoints (pdf)
  4. (10.02.2015) Dataflow Analysis: Reaching Definitions (pdf)
  5. (16.02.2015) no class today!
  6. (17.02.2015) no class today!
  7. (23.02.2015) Dataflow Analysis: Liveness (pdf)
  8. (24.02.2015) Available Expressions, Very Busy Expressions, General DFA Framework (pdf)

Homeworks

  1. (03.02.2015) Homework 1(pdf)
  2. (10.02.2015) Homework 2(pdf)
  3. (24.02.2015) Homework 3(pdf)