Information Flow Guided Synthesis

DOI10.1007/978-3-031-13188-2_25MaRDI QIDQ6487346zbMATH OpenFDO

Authors Bernd Finkbeiner, Niklas Metzger, Yoram Moses

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

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)

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

Cites work

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

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)