Differences

This shows you the differences between two versions of the page.

--- start [2020/11/17 00:52] – conan
+++ start [2020/11/19 00:37] (current) – [Introduction to the tool] conan
@@ Line 9: / Line 9: @@
 ===== Introduction to the tool =====
-Our tool is built as a plugin of the model checker ePMC, and now is publicly available on GitHub at [[https://github.com/Conan-Chan/Dpctl| this repository]]. It now supports input files consisting of models and properties (both in the standard prism format.) For more information on how to use the tool, please refer to this page [[tool|How to use the tool]].
+Our tool is built as a plugin of the model checker ePMC, and now is publicly available on GitHub at [[https://github.com/Conan-Chan/Dpctl| this repository]]. It now supports input files consisting of models and properties (both in the standard prism format.) For more information on how to use the tool, please refer to this page [[release|How to use the tool]].
 ===== Future work =====