文件名称：myu
文件大小：20KB
文件格式：ZIP
更新时间：2024-04-19 18:21:24
Rust
妙 myu是使用模态微积分子集的标记过渡系统的模型检查器。 它与以指定的LTS一起使用。 以下语法指定了使用的模态微积分子集： f, g ::= false | true | X | (f && g) | (f || g) | f | [a]f | mu X. f | nu X. f 这里，a是与动作名称匹配的任意小写字符串（即， a ∈ [az][az,0-9,_]∗由字母数字字符和/或下划线字符组成），而X ∈ [AZ]是一个与动作名称匹配的字符串。递归变量。 安装 从来源 假设 ，可以使用以下命令构建myu cargo build --release 之后，生成的二进制文件将放置在target/release文件夹中。 用法 MYU的使用可以找到myu --help ： myu 0.1.0 A model-checker for Labeled Transition Sy
【文件预览】：
myu-master
----.gitignore(8B)
----src()
--------improved.rs(3KB)
--------lts.rs(5KB)
--------main.rs(3KB)
--------tests.rs(3KB)
--------mu_calculus()
--------naive.rs(2KB)
--------mu_calculus.rs(11KB)
----Cargo.lock(8KB)
----Cargo.toml(435B)
----README.md(2KB)
----rustfmt.toml(152B)
----rust-toolchain(19B)
----testcases()
--------fixpoints_only()
--------combined()
--------boolean()
--------depths2.mcf(57B)
--------test.aut(171B)
--------modal_operators()
--------depths1.mcf(57B)