Geralmente, as revisões técnicas formais são métodos que buscam encontrar falhas na qualidade do software, mas são extremamente demoradas e caras. Em que tipo de software o uso de métodos formais é indispensável?
Resposta correta: A revisão técnica formal é indispensável em sistema de segurança crítica, pois esse tipo de software não deve apresentar falhas, uma vez que esses sistemas envolvem impactos na segurança de pessoas, negócios ou meio ambiente.