program verification

views updated

program verification Any method that will ensure that a program will do exactly what it is supposed to do. See also program correctness proof.