文件名称：ctlmc:CTL 模型检查器，使用 BDD（JavaBDD 库）实现
文件大小：402KB
文件格式：ZIP
更新时间：2024-08-09 09:59:29
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)