Commit 32c9422d authored by Thom Badings's avatar Thom Badings
Browse files

Update README.md

parent e1447104
......@@ -89,8 +89,8 @@ Below, we list all arguments that can be passed to the run command. Arguments ar
| --- | --- | --- | --- | --- |
| model | Yes | -- | string | Model file, e.g., `models/brp/brp.sm`. |
| property | Yes | -- | string | File to load the property from, e.g., `models/brp/brp.prctl`. |
| threshold | Yes | -- | float in [0,1] | Threshold for the specification to compare against, e.g. `0.8`. |
| comparator | Yes | -- | string | Is either `geq` or `leq`, or a list of strings, e.g., `'("geq","leq")'`. |
| threshold | No | None | float in [0,1] | Threshold for the specification to compare against, e.g. `0.8`. If not given, Theorem 1 of [1] is used; otherwise, Theorem 2 is used. |
| num_samples | No | 1000 | (list of) integers | Number of parameter samples to use, e.g., `1000` or `'(1000,5000)'`. |
| bisimulation | No | `strong` | string | Bisimulation mode. Must be `strong`, `weak`, or `none`. |
| num_iter | No | 1 | integer | Number of iterations, given as integerm, e.g., `10`. |
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment