search

ongardie / raft.tla

TLA+ specification for the Raft consensus algorithm
458 stars 74 forks source link

Model check #14

Closed yulongkelly closed 2 years ago