GitHub repository: weiyu0824/raft-maude
Created: 2023-11-27T21:13:49Z
Description: Model checking for raft algorithm