Software Verification
It checks whether the developed software conforms to the requirements
Performed by the Software Quality Assurance Engineers (QA)
Two approaches:
Formal reviews and inspections
Different kinds of testing
Cannot certify absence of defects but can only decrease their rates