Un recorrido por las herramientas mas efectivas para comprobar las condiciones de propagacion