使用Stateright构建分布式系统 关于模型检查器的书。 您可以在阅读该书。 仓库布局 -本书的正文。 -本书导入的Rust代码。 -由mdbook构建的mdbook 。 指示 用cargo测试Rust代码： cargo test 用构建书： mdbook build 欢迎。 当前，存储库包含已构建的工件，因此可以将其包含在拉取请求中。