Specification Ordering
- Specification A is at least as strong as specification B if
- A's precondition is no stronger than B's
- A's postcondition is no weaker than B's, for the states that satisfy B's precondition.
- That is, you can always weaken a precondition or strengthen a postcondition (make more promises).
José M. Vidal
.
8 of 16