La verificación formal permite la confianza a gran escala