文件名称：checker:自动检查器，用于Coq中的无锁并发程序
文件大小：18KB
文件格式：ZIP
更新时间：2024-05-31 00:29:09
Coq
IO检查器 自动检查器，用于Coq中的无锁并发程序。 跑步 使用 ，添加存储库： opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev 并安装依赖项： opam install -j4 -v coq:io:system 编译Coq代码： ./configure.sh make
【文件预览】：
checker-master
----.gitignore(40B)
----src()
--------Semantics.v(5KB)
--------Model.v(143B)
--------NoDeps.v(93B)
--------Choose.v(3KB)
--------Decide.v(4KB)
--------Examples()
--------Compile.v(4KB)
--------Bisimulation()
--------DeadLockFree.v(782B)
----Make(334B)
----extraction()
--------.gitignore(28B)
--------Makefile(92B)
----LICENSE(1KB)
----README.md(431B)
----configure.sh(44B)