Compositional synthesis of modular systems

DOI10.1007/978-3-030-88885-5_20zbMath1497.68300arXiv2106.14783OpenAlexW3178776999MaRDI QIDQ2147209

Bernd Finkbeiner, Noemi Passing

Publication date: 22 June 2022

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

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)

Uses Software

• BoSy

Cites Work

• Assume-admissible synthesis
• On the structure of non-manipulable equilibria
• Testing language containment for \(\omega\)-automata using BDDs
• Encodings of Bounded Synthesis
• Bounded Synthesis
• Compositional Algorithms for LTL Synthesis
• Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
• Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
• Safraless Compositional Synthesis
• Assume-Guarantee Synthesis