Parameterized Synthesis

DOI10.2168/LMCS-10(1:12)2014zbMath1325.68149OpenAlexW3038004135MaRDI QIDQ5404478

Roderick Bloem, Swen Jacobs

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-10(1:12)2014

zbMATH Keywords

distributed systemstemporal logicsatisfiability modulo theoriesparameterized verificationparameterized synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Synthesis of distributed algorithms with parameterized threshold guards ⋮ Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata ⋮ Distributed synthesis for parameterized temporal logics ⋮ Parameterized synthesis of self-stabilizing protocols in symmetric networks ⋮ Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

This page was built for publication: Parameterized Synthesis