Dependency-Based Compositional Synthesis

DOI10.1007/978-3-030-59152-6_25MaRDI QIDQ6485902zbMATH OpenFDO

Authors Bernd Finkbeiner, Noemi Passing

Publication date 22 December 2022

Published in 1517.68234 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_25

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Compositional synthesis of modular systems
• Synthesis from Component Libraries
• Safraless Compositional Synthesis
• Pattern-based refinement of assume-guarantee specifications in reactive synthesis
• Compositional algorithms for LTL synthesis

Cited in

(7)

• Safe decomposition of startup requirements: verification and synthesis
• Pattern-based refinement of assume-guarantee specifications in reactive synthesis
• Compositional strategy mapping
• Compositional parameter synthesis
• Information Flow Guided Synthesis
• Compositional synthesis of modular systems
• Algorithms for synthesizing priorities in component-based systems

This page was built for publication: Dependency-Based Compositional Synthesis

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