A verificação formal possibilita confiança em larga escala