Formal Analysis Techniques for Gossiping Protocols

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

doi:10.1145/1317379.1317385

Formal Analysis Techniques for Gossiping Protocols

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

Research output: Contribution to Journal › Article › Academic › peer-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 language	English
Pages (from-to)	28-36
Journal	ACM SIGOPS Operating Systems Review
Volume	41
Issue number	5
DOIs	https://doi.org/10.1145/1317379.1317385
Publication status	Published - 2007

Bibliographical note

DBLP:journals/sigops/BakhshiBFH07

Access to Document

10.1145/1317379.1317385

Persistent URL (handle)

Persistent link

Cite this

@article{eb3c72336afe4e42b181180100c20b62,

title = "Formal Analysis Techniques for Gossiping Protocols",

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.",

author = "R.R. Bakhshi and F. Bonnet and W.J. Fokkink and B.R. Haverkort",

note = "DBLP:journals/sigops/BakhshiBFH07 ",

year = "2007",

doi = "10.1145/1317379.1317385",

language = "English",

volume = "41",

pages = "28--36",

journal = "ACM SIGOPS Operating Systems Review",

issn = "0163-5980",

publisher = "Association for Computing Machinery",

number = "5",

}

TY - JOUR

T1 - Formal Analysis Techniques for Gossiping Protocols

AU - Bakhshi, R.R.

AU - Bonnet, F.

AU - Fokkink, W.J.

AU - Haverkort, B.R.

N1 - DBLP:journals/sigops/BakhshiBFH07

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1145/1317379.1317385

DO - 10.1145/1317379.1317385

M3 - Article

SN - 0163-5980

VL - 41

SP - 28

EP - 36

JO - ACM SIGOPS Operating Systems Review

JF - ACM SIGOPS Operating Systems Review

IS - 5

ER -

Formal Analysis Techniques for Gossiping Protocols

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this