Em relação às técnicas de validação de requisitos utilizadas na engenharia de software, o processo manual, formal, ou informal que envolve muitos leitores, tanto no cliente como no fornecedor, e que verifica o documento de requisitos a fim de detectar anomalias e omissões, observando cada requisito, em termos de sua consistência, e checando os requisitos como um todo sob o ponto de vista de sua completeza, é conhecida como: