Formal Analysis Techniques for Gossiping Protocols

R.R. Bakhshi, F. Bonnet, W.J. Fokkink, B.R. Haverkort

Research output: Contribution to JournalArticleAcademicpeer-review


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.
Original languageEnglish
Pages (from-to)28-36
JournalACM SIGOPS Operating Systems Review
Issue number5
Publication statusPublished - 2007

Bibliographical note



Dive into the research topics of 'Formal Analysis Techniques for Gossiping Protocols'. Together they form a unique fingerprint.

Cite this