Considerando a importante etapa de validação de requisitos estabelecidos para um software, uma das atividades aí incluídas refere-se a verificar se requisitos incluídos na especificação não estejam em conflito (restrições contraditórias ou descrições diferentes de uma mesma função).

Tal atividade corresponde, especificamente, a realizar verificações de