Checking invariants
For each potential invariant:
- Instantiate
- That is, determine constants like a and b in y = ax + b
- Check for each set of variable values
- Stop checking when falsified
This is inexpensive
- Many invariants, but each cheap to check
- Falsification usually happens very early