NASA NASA-STD-2202
NASA NASA-STD-2202 1993-APR-01 SOFTWARE FORMAL NSPECTONS STANDARD
This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software.