... | ... | @@ -9,4 +9,4 @@ The tool contains different main functionalities using discrete-event simulation |
|
|
* Model Checking a property expressed in the _Stochastic Time Logic_ by using the hypothesis test technique of the _Sequential Probability Ratio Test_, verifying if the probability of a property to hold is greater or lower than a particular threshold.
|
|
|
* Calculating a confidence interval for the probability of such a property to hold.
|
|
|
|
|
|
You can find a list of the [list of shell commands](https://github.com/jannikhuels/libhpng/wiki/Shell-commands) as well as information on [the required input](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and on the [definition of properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this wiki. |
|
|
\ No newline at end of file |
|
|
You can find a list of the [list of shell commands](https://github.com/jannikhuels/libhpng/wiki/Shell-commands), which also includes a list of parameters for the methods Furthermore, you can find information on [the required input](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and on the [definition of properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this wiki. |
|
|
\ No newline at end of file |