stateright (cargo): A model checker for implementing distributed systems.
Keywords: model-checking|paxos|raft|actor|simulation|actor-model|distributed-systems|model-checker