Improved invariant relevance

• Add desired invariants

  • Implicit values
  • Unused polymorphism

• Eliminate undesired invariants (and improve performance)

  • Unjustified properties
  • Redundant invariants
  • Incomparable variables

Previous slide

Next slide

Back to first slide

View graphic version