A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols

DOI10.1007/978-3-319-17822-6_12MaRDI QIDQ2949709zbMATH OpenOpenAlexFDO

Authors Amer Tahat, Ali Ebnenasir

Publication date 2 October 2015

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-17822-6_12

zbMATH Keywords

mechanical verificationparameterized systemsprogram synthesisself-stabilization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Automated synthesis of distributed self-stabilizing protocols
• An automatic proving approach to parameterized verification
• Towards Automatic Convergence Verification of Self-stabilizing Algorithms
• An approach to the verification of symmetric parameterized distributed systems

Cited in

(5)

• Automation of fault-tolerant graceful degradation
• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Automated synthesis of distributed self-stabilizing protocols
• On the verification of livelock-freedom and self-stabilization on parameterized rings
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

This page was built for publication: A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949709)