Parameterized Synthesis

DOI10.1007/978-3-642-28756-5_25zbMath1352.68155arXiv1401.3588OpenAlexW2913930975MaRDI QIDQ2894282

Roderick Bloem, Swen Jacobs

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.3588

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items

Parameterized model checking of rendezvous systems, Graph Games and Reactive Synthesis, Synchronous counting and computational algorithm design, Unnamed Item, Unnamed Item