A validação de requisitos é uma etapa crucial no processo de desenvolvimento de software, garantindo que as necessidades dos stakeholders sejam corretamente interpretadas e implementadas. Dentre as técnicas de validação de requisitos, destaca-se uma abordagem que se concentra na verificação formal da consistência, completude e conformidade dos requisitos, permitindo identificar possíveis falhas antes da implementação. Considerando essa descrição, e dentre as técnicas exibidas nas alternativas a seguir, assinale a que representa a técnica de validação de requisitos destacada no texto do enunciado.