【文件属性】：
文件名称：ctlmc:CTL 模型检查器，使用 BDD（JavaBDD 库）实现
文件大小：402KB
文件格式：ZIP
更新时间：2021-07-20 16:12:49
scala bdd model-checking ctl Scala
CTL模型检查
，使用 （ 库）实现。
用法
Usage: program (CTL specification) (path to model file)
e.g.: program 'AG(Not(And("c1"="T", "c2"="T")))' "model.fsm"
参数：
CTL 规范（例如Imply(AG("t1"="T"), AF("c1"="T")) ）；
模型文件的路径，采用具有以下限制： 所有国家都必须通过其原子命题的价值得到明确的识别。
快速开始
安装和
使用make test运行make test
用make package准备 jar make package
使用java -jar /path/to/ctl-model-checking.jar 'AG(Not(And("c1"="T", "c2"="T")))' ./src/test/resou
【文件预览】：
ctlmc-master
----.gitignore(23B)
----Makefile(535B)
----project()
--------plugins.sbt(312B)
--------build.properties(21B)
----src()
--------main()
--------test()
----.travis.yml(34B)
----LICENSE(34KB)
----README.md(2KB)
----lib()
--------javabdd-1.0b2.jar(232KB)
----build.sbt(419B)