research

Formal analysis techniques for gossiping protocols

Authors
Publication date
1 January 2007
Publisher
Nederlandse Vereniging voor Theoretische Informatica
Doi

    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

      Similar works

      Full text

      thumbnail-image

      Available Versions

      University of Twente Research Information

      redirect
      oaioai:ris.utwente.nl:publication...
      Last time updated on 12/07/2023

      Crossref

      redirect
      Last time updated on 16/02/2019

      VU Research Portal

      redirect
      oaioai:research.vu.nl:publication...
      Last time updated on 18/04/2020

      NARCIS

      redirect
      Last time updated on 04/09/2017

      CWI's Institutional Repository

      redirect
      oaioai:cwi.nl:12162
      Last time updated on 18/04/2020

      NARCIS

      redirect
      Last time updated on 14/10/2017