The
process of determining whether of not the products of
a given phase of the software development cycle meet the
implementation steps and can be traced to the incoming
objectives established during the previous phase. The
techniques for verification are testing, inspection and
reviewing.