Search

Your search keyword '"Bonnet, Francois"' showing total 2 results
Start Over Author "Bonnet, Francois" Journal acm sigops operating systems review
2 results on '"Bonnet, Francois"'

1. Formal analysis techniques for gossiping protocols

Author

Bakhshi, Rena, Bonnet, Francois, Fokkink, Wan, and Haverkort, Boudewijn

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.

Published
2024
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results