Disasters, Successes, and Inductive Invariants

01-05, CS-550 Formal Verification