the process of checking that the software meets its requirements
the process of checking that the software meets its requirements
the use of experts to examine the source code of a program to check that it works correctly.