Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2016.3
URN: urn:nbn:de:0030-drops-65436
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6543/
Muscholl, Anca
Automated Synthesis: Going Distributed (Invited Talk)
| pdf-format: |
|
Abstract
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.
BibTeX - Entry
@InProceedings{muscholl:LIPIcs:2016:6543,
author = {Anca Muscholl},
title = {{Automated Synthesis: Going Distributed (Invited Talk)}},
booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
pages = {3:1--3:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-022-4},
ISSN = {1868-8969},
year = {2016},
volume = {62},
editor = {Jean-Marc Talbot and Laurent Regnier},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6543},
URN = {urn:nbn:de:0030-drops-65436},
doi = {10.4230/LIPIcs.CSL.2016.3},
annote = {Keywords: Concurrent programs, Distributed synthesis, Runtime monitoring}
}
| Keywords: | Concurrent programs, Distributed synthesis, Runtime monitoring | |
| Seminar: | 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) | |
| Issue date: | 2016 | |
| Date of publication: | 29.08.2016 |
