| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 1/8 | Course Overview, Floyd-Hoare Logic | Intro; Verification Pre-History | -- |
| 1/15 | MLK Day | -- | |
| 1/22 | Dijkstra's WP calculus, Intro to LTS | Labeled Transition Systems | -- |
| 1/29 | Program Graphs to LTS, Concurrent Systems | -- | |
| 2/5 | LTS: equivalences, bisimulations | " | |
| 2/12 | LTS: Simulation Relations, Safety Properties | Safety, Liveness, Fairness | -- |
| 2/19 | President's Day | -- | |
| 2/26 | Liveness, Fairness, Intro to Büchi automata | Omega-automata | |
| 3/4 | ω-automata, intro to LTL | " | -- |
| 3/11 | Timed Automata and Verification | Slides | |
| 3/11 | Spring Break | ||
| 3/18 | Metric and Signal Temporal Logic | Slides | |
| 3/25 | Probablistic Verification: I | Slides | |
| 4/1 | Probabilistic Verification: II | Slides | |
| 4/8 | Hybrid and Nonlinear Systems Verification : I | Slides | -- |
| 4/15 | Hybrid and Nonlinear Systems Verification : II | Slides | |
| 4/22 | Verification of AI/ML systems | Invalid Link |