3. Unjustified properties

Given three samples for x:

x = 7

x = –42
x = 22

Potential invariants:

x ? 0

x ? 22
x ? –42

Previous slide

Next slide

Back to first slide

View graphic version