This is stars and forks stats for /Vanlightly/vsr-tlaplus repository. As of 27 Apr, 2024 this repository has 25 stars and 0 forks.
vsr-tlaplus TLA+ specifications related to Viewstamped Replication. The following specifications exist: Viewstamped Replication Revisited paper. VSR.tla is based solely on the paper and does not implement any fixes to protocol defects from this paper. State transfer defect To reproduce the state transfer defect of the revisited paper, set the following constant values: ReplicaCount = 3 ClientCount = 1 Values = {v1, v2, v3} StartViewOnTimerLimit = 3 When running with model checking,...
vsr-tlaplus TLA+ specifications related to Viewstamped Replication. The following specifications exist: Viewstamped Replication Revisited paper. VSR.tla is based solely on the paper and does not implement any fixes to protocol defects from this paper. State transfer defect To reproduce the state transfer defect of the revisited paper, set the following constant values: ReplicaCount = 3 ClientCount = 1 Values = {v1, v2, v3} StartViewOnTimerLimit = 3 When running with model checking,...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| skarupke/two_bit_mutex | TLAC++ | 22 | 0 | 1 | 0 |
| cometbft/cometbft | GoTeXTLA | 365 | 0 | 169 | 0 |
| anoma/typhon | TLARust | 23 | 0 | 2 | 0 |
| ongardie/raft.tla | TLA | 390 | +2 | 68 | 0 |
| cosmos/ibc-go | GoTLAOther | 419 | 0 | 428 | 0 |
| xline-kv/Xline | RustShellTLA | 350 | 0 | 45 | 0 |
| bloomberg/blazingmq | C++CMakeTLA | 2.3k | 0 | 96 | 0 |
| mratsim/weave | NimC++C | 498 | 0 | 22 | 0 |
| tlaplus/DrTLAPlus | TLA | 764 | 0 | 118 | 0 |
| Vanlightly/kafka-tlaplus | TLA | 25 | 0 | 1 | 0 |