@@ -22,7 +22,7 @@ Within the tool, an overview of all commands can be requested with the command *
...
@@ -22,7 +22,7 @@ Within the tool, an overview of all commands can be requested with the command *
6. Change a simulation parameter: **change _parametername_**
6. Change a simulation parameter: **change _parametername_**
- _parametername_ can be:
- _parametername_ can be:
+ halfintervalwidth
+ halfintervalwidth
+ halfwidthindifferenceregion*
+ halfwidthindifferenceregion
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.
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.
