read_model -i model.smvflatten_hierarchyencode_variablesbuild_model -f -m Thresholdcheck_ltlspec -p "$FORMULA"
This repository was archived by the owner on May 14, 2024. It is now read-only.
mfrankiewicz/agh-model-checking
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|