Una verifica indipendente del codice sorgente di una persona, squadra o strumento per verificare la conformità con standard di programmazione e di documentazione di progettazione di software. Correttezza e l'efficienza può essere valutate.