Round-bounded control of parameterized systems

DOI10.1007/978-3-030-01090-4_22MaRDI QIDQ6109599zbMATH OpenOpenAlexFDO

Authors Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Publication date 28 July 2023

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-01090-4_22

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) Applications of game theory (91A80)

Recommendations

• Parameterized synthesis
• Parameterized Verification of Asynchronous Shared-Memory Systems
• Parameterized Synthesis

Cited in

(2)

• Round- and context-bounded control of dynamic pushdown systems
• Phase-bounded broadcast networks over topologies of communication

This page was built for publication: Round-bounded control of parameterized systems

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