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)