Lecture

Invariants in Bounded Counter: Understanding Inductive Invariants