Semi-automatic Distributed Synthesis

Download PDF
Open Webpage

Bernd Finkbeiner, Sven Schewe

Published: 2005, Last Modified: 02 Apr 2026ATVA 2005EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We propose a sound and complete compositional proof rule for distributed synthesis. Applying our proof rule only requires the manual strengthening of the specification into a conjunction of formulas that can be guaranteed by individual black-box processes. All premises of the proof rule can be checked automatically.