Derived variables

• Successfully produces desired invariants

• Adds many new variables

  • slowdown
  • irrelevant invariants

• Staged derivation and invariant inference

  • avoid deriving meaningless values
  • avoid computing tautological invariants

Previous slide

Next slide

Back to first slide

View graphic version