Checking

• As each new value for a variable is read, check each possible invariant

  • Stop checking if an invariant fails to hold

• The listed invariants are cheap to check

  • But there are a lot of them!

Previous slide

Next slide

Back to first slide

View graphic version