verdi-raft:Raft分布式共识协议的实现，已使用Verdi框架在Coq中进行了验证

威尔第木筏 分布式共识协议的实现，已使用Verdi框架在Coq中进行了验证。 要求 定义和证明： （8.7或更高版本） 可执行的vard键值存储： （4.02.3或更高版本） 客户为vard ： vard集成测试： 单位未经验证测试vard代码： （2.0.0或更高版本） 建造 我们建议通过OPAM安装Verdi Raft的依赖项： opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev opam install coq-struct-tact coq-cheerios coq-verdi 然后，在Verdi Raft根目录中运行./configure 。 这将检查Coq的合适版本，并确保可以找到所有必需的Coq依赖项。 默认情况下，假定Verdi ， StructTact和Cheerios安装