O processo que determina se as especificações dos requisitos são consistentes com suas definições é chamado de Validação dos Requisitos.

Dentre as técnicas automatizadas usadas nesse processo, citam-se os(as)