/raft-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

MIT LicenseMIT

No issues in this repository yet.