#Stateright

stateright

Stateright是一个Rust编写的actor库，为分布式算法提供模型检查器、行为探索UI和actor运行时。它内置线性一致性测试器，支持不变量检查、活性检查和对称归约。Stateright允许开发者验证实现的正确性，并可在实际网络上运行系统，无需重新编码。其特点包括全面的测试覆盖和灵活的网络语义选择。