| Date | Topic | Notes |
|---|---|---|
| 4/4 | Introduction | |
| 4/9 | SAT Solvers | |
| 4/11 | SMT Solvers | |
| 4/16 | Floyd-Hoare Logic | |
| 4/18 | Verification Conditions | pdf pdf |
| 4/23 | VC for Functions and Pointers | |
| 4/25 | Abstract Interpretation I | |
| 4/30 | Abstract Interpretation II | |
| 5/14 | Predicate Abstraction | [pdf][lec7] |
| 5/16 | Refinement Types I | |
| 5/21 | Refinement Types II | |
| 5/23 | Refinement Types III | |
| 5/28 | Project Presentations | |
| 5/30 | “” | |
| 6/4 | “” | |
| 6/6 | “” |