InSPEqTor (INference of Shortest Paths with EQuivalent abstracT behaviOR) is a prototype implementation to compute parameter valuations in parametric directed weighted graphs such that shortest paths are preserved.

In other words, given a parametric directed weighted graph and a valuation of the parameters, InSPEqTor synthesizes valuations for the parametric weights such that the shortest paths between any two nodes remain preserved.

• a parametric directed weighted graphs
• a reference valuation for the parameters

• a set of parameter valuations for which the shortest paths remain preserved between any pair of nodes

• parametric directed weighted graph
• parameter synthesis
• Floyd-Warshall
• shortest paths
• robustness

Étienne André

(Tool developed in 2008-2010)

• Une méthode inverse pour les plus courts chemins (Actes de la 6e École temps-réel (ETR 2009))
• An inverse method for the synthesis of timing parameters in concurrent systems, Chapter 7.1