Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Aziz Abdulla, Parosh; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-57614
URL:

; ; ;
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: 2016


DROPS-Home | Fulltext Search | Imprint Published by LZI