@@ -60,4 +60,4 @@ Within the tool, an overview of all commands can be requested with the command *
14. Load parameters and settings from configuration file: **loadparameters**
- No option is required.
You can find a description for the [required model file](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and the syntax of the [Model Checking properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section.
\ No newline at end of file
You can find a description for the [required model file](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/the-required-model-file) and the syntax of the [Model Checking properties](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/model-checking-properties) in this section.
