| Date | Topic | Slides | |
|---|---|---|---|
| 1/8 | Course Overview, Floyd-Hoare Logic | Intro; Program Verification | |
| 1/15 | MLK Day | ||
| 1/22 | Dijkstra's WP calculus, Intro to LTS | Slides | |
| 1/29 | Program Graphs to LTS, Concurrent Systems | " | |
| 2/5 | LTS: equivalences, bisimulations | " | |
| 2/12 | LTS: Simulation Relations, Safety Properties | Slides | |
| 2/19 | President's Day | -- | |
| 2/26 | Liveness, Fairness, Intro to Büchi automata | Slides | |
| 3/4 | ω-automata, intro to LTL | LTL Slides | |
| 3/11 | CTL, Mu Calculus | Slides | |
| 3/18 | Spring Break | -- | |
| 3/25 | Mu Calculus, Fixpoints | Slides | |
| 4/1 | Timed Automata and Verification | Slides | |
| 4/8 | Timed Logics | STL slides (reference) | |
| 4/15 | Verification for Probabilistic Systems | Slides | |
| 4/22 | Statistical Verification, Hybrid Systems, Reachability | No slides |