1 / 4

Gossip Protocols: Exploring the Full Validation Spectrum

Gossip Protocols: Exploring the Full Validation Spectrum. Fran ç ois Bonnet, Rana Bakhshi Wan Fokkink, Boudewijn Haverkort ( Verification WG ). EFFORT / COST. “THINK”. Spectrum of Validation. Why exploit the full spectrum?. Has been successful in other areas and for other types of systems

waite
Download Presentation

Gossip Protocols: Exploring the Full Validation Spectrum

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Gossip Protocols:Exploring the Full Validation Spectrum François Bonnet, Rana Bakhshi Wan Fokkink, Boudewijn Haverkort(Verification WG)

  2. EFFORT / COST “THINK” Spectrum of Validation

  3. Why exploit the full spectrum? • Has been successful in other areas and for other types of systems • Gossip protocols are intrinsically probabilistic • More formal statement of desired properties needed (to be precise) • Eases the way to verify and explain system behaviour (quantitative and qualitative)

  4. We Have Good Company! David Tennenhouse (VP Intel Research): “ICT is finally reaching a scale where probabilistic methods should play a larger role in system design…” “…it’s time for CS taking a leap from deterministic models to probabilistic models, in much the way that physics moved from classical to quantum physics”. Comm. ACM, May 2000, “Proactive Computing”

More Related