/consus-algorithm-tla

tla+ and plusCAL proof for a imperfect consensus algorithm

Stargazers

No one’s star this repository yet.