In this project, we implemented a solution to optimize the resolution of a short path problem in view of accelerating the use of the model checker UPPAAL. Also, we presents the result of the experiments we made, and few solution to improve our implementation. In the best condition (big matrix), our program is able to make the calculation 3,85 times faster than the regular implementation.