| Date | Topic | Slides | |
|---|---|---|---|
| 1/12 | Course Overview, Labelled Transition Systems | Intro; LTS | |
| 1/19 | MLK Day | ||
| 1/26 | LTS Properties | Slides | |
| 2/2 | Omega Regular Languages and Automata | Slides | |
| 2/9 | LTL | Slides | |
| 2/16 | President's Day | -- | |
| 2/23 | CTL, Mu Calculus | Slides | |
| 3/2 | CTL, Mu Calculus continued | " | |
| 3/9 | Project Proposal Presentations + Overflow | ||
| 3/16 | Spring Break | -- | |
| 3/23 | First Order Logic, Monadic Second Order Logic, Dynamic Logic | TBD | |
| 3/30 | Timed and Hybrid Automata | Slides | |
| 4/6 | Timed Automata and Verification | Slides | |
| 4/13 | Timed and Probabilistic Logics | TBD | |
| 4/20 | Verification for Probabilistic Systems | Slides | |
| 4/27 | Statistical Verification | TBD | |
| 5/4 | Final Project Presentations | No slides |