Subprocesso da engenharia de requisitos que visa a verificar se os requisitos foram declarados de maneira não ambígua e se de fato definem o sistema desejado pelo usuário: