2026-08-11T18:44:53Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6543 2024-03-06T10:38:41Z ddc:004 open_access

Automated Synthesis: Going Distributed (Invited Talk) Muscholl, Anca Concurrent programs Distributed synthesis Runtime monitoring Synthesis is particularly challenging for concurrent programs. At the same time it is a very promising approach, since concurrent programs are difficult to get right, or to analyze with traditional verification techniques. The talk provides an introduction to distributed synthesis in the setting of Mazurkiewicz traces, and its applications to decentralized runtime monitoring. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Anca Muscholl 2016 Is Part Of LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2016.3 urn:nbn:de:0030-drops-65436 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.3 eng https://creativecommons.org/licenses/by/3.0/legalcode