License: 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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/5761/
Go back to Dagstuhl Reports

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:
dagrep_v005_i011_p001_s15451.pdf (1 MB)

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
Collection: Dagstuhl Reports, Volume 5, Issue 11
Issue Date: 2016
Date of publication: 11.03.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI