I want to model a probabilistic protocol using a model checker, but a lot of protocols are already implemented (e.g. Randomised Dining Philosophers, Dining cryptographers, Synchronous leader election protocol).

Do you know other protocols, similar with aforementioned protocols?

  • $\begingroup$ I am not an expert in the area, but can you describe the protocol? Does it have a name or is it a variant of a well-known one? Are you using some specific software to model it? $\endgroup$ – chazisop Jun 2 '15 at 17:08

You may be aware of PRISM, a probabilistic model checker, and PRISM Case Studies which documents (besides others) case studies on the correctness and performance of various randomised distributed algorithms taken from the literature.

It is quite common that one distributed computing problem has several variants (with different assumptions), and each variant has several randomized algorithms. That is, there are quite a few randomized distributed algorithms in the literature.

One way of identifying "new" protocols to check is to pick up an article from the PRISM Case Studies, make a list of randomized algorithms for variants of the problem it is focused on, and choose one algorithm to work with.

| cite | improve this answer | |

Not the answer you're looking for? Browse other questions tagged or ask your own question.