verification condition

views updated

verification condition See program correctness proof.

More From encyclopedia.com