Lectures

Lectures will be hybrid during shopping period. You can either come to CIT 165 or join via Zoom. Depending on various factors we may or may not offer a hybrid option post shopping period (we would transition to fully in person but lecture recordings will be available).

Week 1

Jan 26 : What is Logic for Systems? : Notes, Recording
Jan 28 : Properties and Testing : Notes, Recording

Week 2

Jan 31 : Modeling in Forge (Part 1) : Notes, Recording
Feb 02 : Modeling in Forge (Part 2) : Notes, Recording
Feb 04 : Modeling in Forge (Part 3) : Notes, Recording

Week 3

Feb 07 : Continuing with State and Traces : Notes, Recording
Feb 09 : Checking Properties With Traces / Answering Your Questions : Notes, Recording
Feb 11 : More Questions, More Traces : Notes, Recording

Week 4

Feb 14 : The Problem With Traces : Notes, Recording
Feb 16 : Counterexamples To Induction : Notes, Recording
Feb 18 : Forge 2, Curiosity Modeling : Notes, Recording

Week 5

Feb 21 : No class (Long Weekend)
Feb 23 : Modeling Boolean Logic (Sets and Semantics) : Notes, Recording
Feb 25 : No class (Winter Storm)

Week 6

Feb 28 : Relations and Reachability : Notes, Recording
Mar 2 : More Modeling with Sets, Induction, and Logging : Notes, Recording
Mar 4 : Beyond Assertions : Notes, Recording

Week 7

Mar 7 : Liveness and Lassos : Notes, Recording, Livecode
Mar 9 : Join, Temporal Operators : Notes, Recording, Livecode1, Livecode2, Livecode3
Mar 11 : More Temporal-Mode Forge : Notes, Recording

Week 8

Mar 14 : Obligations and The Past : Notes, Recording
Mar 16 : Debugging and Testing Temporal Models : Notes, Recording
Mar 18 : Deadlocks and Lassos, Fairness : Notes, Recording, Livecode

Week 9

Mar 21 : Bounds and Booleans: How Forge Works : Notes, Recording
Mar 23 : Guest Lecture (Milda Zizyte) : Recording
Mar 25 : (Optional) LTL semantics in Forge + Q&A : Recording

Week 10

Mar 28, Mar 30, Apr 1 : Spring break

Week 11

Apr 4 : Satisfiability (SAT) Solving : Notes, Recording
Apr 6 : Satisfiability (SAT) Solving (Continued) : Recording
Apr 8 : Final Project’s FAQs : Recording, Livecode

Week 12

Apr 11 : Satisfiability Modulo Theories (SMT) : Notes, Recording, Livecode
Apr 13 : SMT (Continued) : Recording
Apr 15 : Modeling Errors, CEGIS : Notes, Recording

Week 13

Apr 18 : Resolution : Notes, Recording
Apr 20 : Resolution (Continued) : Recording
Apr 22 : Guest Lecture (Rob Lewis) : Recording

Week 14

Apr 25 : Guest Lecture (Sorawee Porncharoenwase) : Recording
Apr 27 : Closing advice from Tim and optional Q&A : Recording
Apr 29 : Guest Lecture (Alexa VanHattum) : Recording

Week 15

May 2 : No class
May 4 : Guest Lecture (Akshay Rajhans) : Recording