consistency_model (cargo): A tester for distributed system consistency properties like linearizability and sequential consistency.
Keywords: actor|simulation|paxos|raft|model-checking