'Post condition rule' diaporamas de présentation

The Substitution Principle

365 views • 18 slides

The Substitution Principle

279 views • 18 slides

Pre and Post Condition Rules

Pre and Post Condition Rules. Definition : If R and S are two assertions, then R is said to be stronger than S if R -> S (R implies S). Example : the assertion i < 0 is stronger than the assertion i < 3 because i < 0 implies that i < 3 ( i < 0 is true implies that i < 3 is true)

178 views • 5 slides