Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/DagRep.5.11.1
URN: urn:nbn:de:0030-drops-57614
URL: https://drops.dagstuhl.de/opus/volltexte/2016/5761/
Aziz Abdulla, Parosh ; Gadducci, Fabio ; König, Barbara ; Vafeiadis, Viktor
Weitere Beteiligte (Hrsg. etc.): Parosh Aziz Abdulla and Fabio Gadducci and Barbara König and Viktor Vafeiadis
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
| pdf-format: |
|
Abstract
This report documents the programme and the outcome of Dagstuhl Seminar 15451 "Verification of Evolving Graph Structures". The aim was to bring together researchers from different communities (shape analysis, separation logic, graph transformation, verification of infinite-state systems) who are interested in developing techniques for the analysis of graph manipulations, i.e., methods that are able to handle the challenges that arise in current verification problems. Apart from scientific talks, the programme also included four tutorial talks and four working groups, which are summarized in this report.
BibTeX - Entry
@Article{azizabdulla_et_al:DR:2016:5761,
author = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"o}nig and Viktor Vafeiadis},
title = {{Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}},
pages = {1--28},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {11},
editor = {Parosh Aziz Abdulla and Fabio Gadducci and Barbara K{\"o}nig and Viktor Vafeiadis},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5761},
URN = {urn:nbn:de:0030-drops-57614},
doi = {10.4230/DagRep.5.11.1},
annote = {Keywords: dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification}
}
| Keywords: | dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification | |
| Seminar: | Dagstuhl Reports, Volume 5, Issue 11 | |
| Issue date: | 2016 | |
| Date of publication: | 11.03.2016 |
