Course Schedule

 

I will teach:


Date Topic Notes
Jan. 6 Introduction
Propositional and first order logic		 Lecture slides
Homework1 is out (due Jan. 13)
Jan. 13 Theorem Proving (PVS) Lecture slides and PVS examples
Homework2 is out (due Feb. 3)
Jan. 20 Theorem proving, Buchi automata Lecture notes
Jan. 27 LTL Model Checking Lecture notes
Feb.3 The Model checker Spin, CTL Lecture notes
Homework3 is out (due Feb. 17)
Feb. 10 CTL Model Checking, BDDs, and SMV Lecture notes
Feb. 17 Model Checking Real-Time Systems, UPPAAL Lecture notes

February 17: Mid-term Exam

You will teach:


Date Topic Notes
March 3 Decision procedures: SAT/SMT/QBF-Solving: (Yices)
March 10 Compositional and Bounded Model Checking
March 17 Synthesis (CTL, Optimized LTL, Controller)
March 24 Synthesis (Revision and Repair)
March 31 TBD