Rizkallah, C. (2014). A Simpl Shortest Path Checker Verification. In Proceedings of Isabelle Workshop 2014.