Formal Analysis Techniques for Gossiping Protocols
Joost-pieter Katoen, Joost Kok, Jaco Pol, Marc Van Kreveld, Bettina Speckmann, Rena Bakhshi, François Bonnet, Wan J. Fokkink, Boudewijn R. H. M. Haverkort · 2010
We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them.