[erlang-questions] Looking for tricky protocol examples for verification research
Scott Lystig Fritchie
Thu Oct 30 09:07:41 CET 2014
Hrm, well, there is the Multi-Paxos framework that's the foundation for
There are four different Raft protocol implementations mentioned at:
Is this the sort of thing you're looking for?
Elsewhere, verifying the good/bad health of the gen_leader protocol.
Its implementations have splintered, so I'm not quite sure which one is
the highest quality today, perhaps this one? Ulf Wiger and/or Andrew
Thompson might also have some opinions ... I haven't seen any postings
to this list by Augusto Becciu.
More information about the erlang-questions