Model checking a self-stabilizing synchronization protocol for arbitrary digraphs

@article{Malekpour2012ModelCA,
  title={Model checking a self-stabilizing synchronization protocol for arbitrary digraphs},
  author={M. R. Malekpour},
  journal={2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)},
  year={2012},
  pages={9D1-1-9D1-12}
}
  • M. R. Malekpour
  • Published 2012 in
    2012 IEEE/AIAA 31st Digital Avionics Systems…
This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes… CONTINUE READING