dimgigov
e73bfb450c
Verified with TLC model checker: - Raft: 475k states, ElectionSafety + StateMachineSafety - 2PC: 22k states, Atomicity + NoOrphanBlocks - MVCC: 177k states, NoDirtyReads + ReadOwnWrites + WriteWriteConflict - Replication: 3.6M states, MonotonicLsn + AcksRemovePending
4 lines
42 B
Plaintext
4 lines
42 B
Plaintext
# TLC model checker output
|
|
states/
|
|
*.dump
|