Reducing Lookups for Invariant Checking

  Abstract