Examples
{true} y := x * x;{y >= 0}
{x <> 0} y := x * x;{y > 0}
{x > 0} x := x + 1;{x > 1}
Previous slide
Next slide
Back to first slide
View graphic version