Probabilistic verification of Herman's self-stabilisation algorithm
From MaRDI portal
Publication:1941879
DOI10.1007/s00165-012-0227-6zbMath1259.68130OpenAlexW2030895696MaRDI QIDQ1941879
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-012-0227-6
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (11)
Accelerating SpMV multiplication in probabilistic model checkers using GPUs ⋮ Synthesizing optimal bias in randomized self-stabilization ⋮ Model checking finite-horizon Markov chains with probabilistic inference ⋮ Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment ⋮ Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination ⋮ Action and State Based Computation Tree Measurement Language and Algorithms ⋮ A tighter bound for the self-stabilization time in Herman's algorithm ⋮ Are Parametric Markov Chains Monotonic? ⋮ A nearly optimal upper bound for the self-stabilization time in Herman's algorithm ⋮ Reachability in parametric interval Markov chains using constraints ⋮ Inductive synthesis for probabilistic programs reaches new horizons
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A game-based abstraction-refinement framework for Markov decision processes
- On the expected time for Herman's probabilistic self-stabilizing algorithm
- Probabilistic self-stabilization
- An elementary proof that Herman's ring is \(\Theta (N^{2})\)
- A logic for reasoning about time and reliability
- Coupling and self-stabilization
- Memory space requirements for self-stabilizing leader election protocols
- On Stabilization in Herman’s Algorithm
- Stochastic Model Checking
- Probabilistic CEGAR
- Self-stabilizing systems in spite of distributed control
- Abstraction, Refinement and Proof for Probabilistic Systems
This page was built for publication: Probabilistic verification of Herman's self-stabilisation algorithm
