En este articulo se presenta un metodo basado en tecnicas formales que permite determinar las rutas optimas en un sistema vial. Se muestra como partiendo de la representacion de una malla vial utilizando teoria de grafos y posteriormente aplicando una extension del algoritmo de Floyd-Warshall, es posible obtener los valores de recorrido y la sucesion de segmentos que componen las rutas minimas entre la totalidad de los puntos de interes del sistema.