Um dos objetivos das revisões técnicas formais de software é