A verificação formal permite confiança em grande escala