raft-spin
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
How to download and setup raft-spin
Open terminal and run command
git clone https://github.com/namasikanam/raft-spin.git
git clone is used to create a copy or clone of raft-spin repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with raft-spin https://github.com/namasikanam/raft-spin/archive/master.zip
Or simply clone raft-spin with SSH
[email protected]:namasikanam/raft-spin.git
If you have some problems with raft-spin
You may open issue on raft-spin support forum (system) here: https://github.com/namasikanam/raft-spin/issuesSimilar to raft-spin repositories
Here you may see raft-spin alternatives and analogs
etcd tikv hraftd elasticell permazen patroni rqlite atomix raft-zh_cn summitdb braft logcabin awesome-consensus tidis raft.github.io copycat finn raft-rs PySyncObj dissertation distributed-computing Mushroom raftos raft-java floyd raft xenon ra x0 verdi-raft