Course Schedule

 

Date Topic Notes
Sep. 10 Introduction, Propositional Logic, and SAT Solving Lecture slides
Sep. 17 First Order Logic and Theorem Proving Lecture Slides
Sep. 24 Cancelled
Oct. 1 Theorem Proving (PVS) PVS Material
Oct. 8 Modal Logic and LTL Model Checking Lecture slides LTL, ML
Oct. 15 LTL Model Checking Lecture Slides

October 22: Mid-term Exam

Date Topic Notes
Oct. 29 CTL Model Checking, BDDs, Project proposals Lecture Slides
Nov. 5 Project proposal presentations
Nov. 12 Timed Automata, TCTL Model Checking Lecture TA, TCTL slides
Nov. 19 Runtime Verification Lecture Slides

November 26: Final Exam

Project presentations will take place in the final exam time slot in December.