Disasters, Successes, and Inductive Invariants

01-03-Live3, CS-550 Formal Verification