文件名称：verdi:正式验证Coq中的分布式系统实现的框架
文件大小：119KB
文件格式：ZIP
更新时间：2024-05-22 20:09:39
distributed-systems coq proof coq-library verdi
威尔第 用于正式验证Coq中的分布式系统实现的框架。 要求 框架： （8.7或更高版本） 运行： （或更高版本） 建造 我们建议通过安装Verdi，它将自动构建并安装其依赖项： opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev opam install coq-verdi 要手动构建Verdi，最好先查询文件以获取确切要求。 然后，在Verdi根目录中运行./configure 。 这将检查Coq的合适版本，并确保可以找到所有必需的依赖项。 默认情况下，该脚本假定StructTact ， InfSeqExt和Cheerios安装在Coq的user-contrib目录中，但是可以通过设置StructTact_PATH ， InfSeqExt_PATH和Cheerios_PATH环境变量来覆盖它。