Verificación formal del algoritmos de distribución de carga para procesamiento de datos independientes