A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

DOI10.1007/978-3-319-17822-6_12zbMath1457.68170OpenAlexW2151127716MaRDI QIDQ2949709

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

program synthesisself-stabilizationmechanical verificationparameterized systems

Mathematics Subject Classification ID

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

Related Items (1)

Automation of fault-tolerant graceful degradation

This page was built for publication: A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols