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
(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