verification [software] The process, using formal methods, of evaluating a system or software component to determine whether it satisfies the requirements imposed at the start of development. Related Terms application server assembly automation COTS load balance