Pre- and post-conditions

• Pre-condition

  • Predicate describing state before a program executes

• Post-condition

  • Predicate describing state after a program executes

Previous slide

Next slide

Back to first slide

View graphic version