Invariants

• Given the value database, the engine checks for a variety of invariants

• The list of invariants was developed by hypothesizing some basic invariants, studying the Gries programs to find generally useful invariants

  • Undoubtedly, this list will evolve

Previous slide

Next slide

Back to first slide

View graphic version