verification condition

views updated

verification condition See program correctness proof.