This repository has been archived by the owner on May 14, 2024. It is now read-only.

Checking specs

read_model -i model.smv
flatten_hierarchy
encode_variables
build_model -f -m Threshold
check_ltlspec -p "$FORMULA"