Software Verification
Process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase.