Computing adequately permissive assumptions for synthesis
We automatically compute a new class of environment assumptions in two-player turn-
based finite graph games which characterize an “adequate cooperation” needed from the …
based finite graph games which characterize an “adequate cooperation” needed from the …
Information Flow Guided Synthesis with Unbounded Communication
Abstract Information flow guided synthesis is a compositional approach to the automated
construction of distributed systems where the assumptions between the components are …
construction of distributed systems where the assumptions between the components are …
Compositional synthesis of reactive systems
NE Passing - 2023 - publikationen.sulb.uni-saarland.de
Synthesis is the task of automatically deriving correct-by-construction implementations from
formal specifications. While it is a promising path toward developing verified programs, it is …
formal specifications. While it is a promising path toward developing verified programs, it is …