There is a newer version of the record available.

Published March 20, 2025 | Version v1
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 (21.6 MB)

Name Size Download all
md5:d0ceca56e72aae1037de8c62d34fa462
21.6 MB Preview Download