2. Axiomatic Semantics

• Example:

Assignment:

Precondition: { x>= 6 }

Program: x = x + 7

Postcondition: {x>=13}

Previous slide

Next slide

Back to first slide

View graphic version