Versao paralela do Dijkstra com corretude conferida