program proving

views updated

program proving See program correctness proof.