Enviar registro por correo electrónico: Verificación formal de algoritmos :