Towards Automatic Convergence Verification of Self-stabilizing Algorithms

DOI10.1007/11577327_14zbMATH Open1172.68677OpenAlexW1527554253MaRDI QIDQ5307043

Oliver Theel, Abhishek Dhama, Jens Oehlerking

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11577327_14

zbMATH Keywords

ConvergenceVerificationSelf-StabilizationLyapunov FunctionsHybrid SystemsDistributed AlgorithmsPiecewise Affine Systems

Mathematics Subject Classification ID

Stabilization of systems by feedback (93D15) Distributed algorithms (68W15)

Related Items (1)

Towards Automatic Stability Analysis for Rely-Guarantee Proofs

Uses Software

• Unnamed Item

This page was built for publication: Towards Automatic Convergence Verification of Self-stabilizing Algorithms