Leo-Y-Zhang

Leo-Y-Zhang

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
0 Stars
0 Forks
0 Watchers

Repositories (1)

DeterministicRaft Leo-Y-Zhang/DeterministicRaft Python

Raft consensus in a seeded fault simulator: the five safety properties are checked after every step and any failure replays from its seed.

0