| CS 745 Computer Aided Verification | Fall 2017 |
Below is the basic schedule of lectures along with associated readings from the text, I'll update this as we proceed.
| Date | Topic | Reading |
| Sep 7 | Course overview; Introduction | |
| Sep 12 | Modeling program structures | Chap. 2 |
| Sep 14 | Intro. CTL* | Chap 3 |
| Sep 19 | Syntax of CTL*, CTL and LTL | Chap 3 |
| Sep 21 | Semantics of CTL*, CTL, LTL | Chap 3 |
| Sep 26 | Model Checking Algorithm for CTL | Chap 4 |
| Sep 28 | Automata Theoretic Model Checking | Chap 9 |
| Oct 3 | ||
| Oct 5 | ||
| Oct 10 | No Class --- study day | |
| Oct 12 | ||
| Oct 17 | ||
| Oct 19 | ||
| Oct 24 | ||
| Oct 26 | ||
| Oct 31 | ||
| Nov 2 | ||
| Nov 7 | ||
| Nov 9 | ||
| Nov 14 | ||
| Nov 16 | ||
| Nov 21 | ||
| Nov 23 | ||
| Nov 28 | ||
| Nov 30 | ||
| Dec | ||