Software Verification

• Preconditions

• Loop invariant

• Postconditions

Previous slide

Next slide

Back to first slide

View graphic version