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

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
.cadp		.cadp
.nuxmv		.nuxmv
exams		exams
labs		labs
models		models
.gitignore		.gitignore
README.md		README.md
cadp		cadp
cadp_loop		cadp_loop
nuxmv		nuxmv
nuxmv_loop		nuxmv_loop
nuxmv_script		nuxmv_script

Repository files navigation

Checking specs

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

About

No description or website provided.

ltl model-checking agh ctl nuxmv

Report repository

Releases

No releases published

Packages

No packages published

Languages