Published April 25, 2025 | Version v2
Software Open

Artifact for DSN 2025 Paper: ReCraft: Split, Merge, and Membership Change of Raft Protocol

Authors/Creators

  • 1. ROR icon Northeastern University
  • 2. EDMO icon Seoul National University
  • 3. ROR icon Yonsei University

Description

Artifact for DSN 2025 Paper: ReCraft: Split, Merge, and Membership Change of Raft Protocol.

ReCraft artifact consists of two parts: 

  1. Executable ReCraft Go Code.
  2. Formal specifications and proof sketches of ReCraft protocols in Coq/Rocq.

Please read the ReCraft_artifact.md file for details.

Files

ReCraft_artifact.zip

Files (144.4 MB)

Name Size Download all
md5:7b7287f843a7b8763890b38b7cbdc429
144.4 MB Preview Download