Formal Analysis Techniques for Gossiping Protocols

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

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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
Volume41
Issue number5
DOIs
Publication statusPublished - 2007

Bibliographical note

DBLP:journals/sigops/BakhshiBFH07

Fingerprint

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

Cite this