Pre- and Post- Conditions
l
The input assertion is also called a
pre-condition
and the output-assertion a
post-
condition
.
l
We normally work under the assumption that the
input assertion is true.
If the input assertion is not true, then Òall bets
are offÓ;