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 | |
Publication status | Published - 2007 |