Information Flow Guided Synthesis

DOI10.1007/978-3-031-13188-2_25zbMATH Open1514.6813MaRDI QIDQ6487346FDOQ6487346

Authors: Bernd Finkbeiner, Niklas Metzger, Yoram Moses 

Publication date: 7 December 2022

Recommendations

• Synthesis from Component Libraries
• Automatic Synthesis of Assumptions for Compositional Model Checking
• SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
• Automated Technology for Verification and Analysis
• Synthesis from hyperproperties

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)

Cites Work

• Automated Technology for Verification and Analysis
• Safraless Compositional Synthesis
• Compositional algorithms for LTL synthesis
• Assume-Guarantee Synthesis
• Algorithms for model checking HyperLTL and HyperCTL\(^*\)
• Compositional synthesis of reactive controllers for multi-agent systems
• SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
• Model Checking Information Flow in Reactive Systems
• Compositional synthesis of modular systems
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• Assume-guarantee synthesis for concurrent reactive programs with partial information
• Synthesizing reactive systems from hyperproperties
• Dependency-Based Compositional Synthesis
• Information Flow Guided Synthesis

Cited In (2)

• Information Flow Guided Synthesis
• Computing adequately permissive assumptions for synthesis

This page was built for publication: Information Flow Guided Synthesis

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