FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Information Flow Guided Synthesis

Authors: Bernd Finkbeiner, Niklas Metzger and Yoram Moses

Paper Information

Title:Information Flow Guided Synthesis
Authors:Bernd Finkbeiner, Niklas Metzger and Yoram Moses
Proceedings:CAV 2022 All Papers
Editors: Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan
Keywords:Distributed Synthesis, Information Flow, Distributed Systems, Assume-Guarantee Synthesis, Compositional Synthesis
Pages:21
Talk:Aug 10 16:50 (Session 116A: Synthesis and Concurrency)
Paper: