Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)

Authors Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.5.11.1.pdf
  • Filesize: 1.04 MB
  • 28 pages

Document Identifiers

Author Details

Parosh Aziz Abdulla
Fabio Gadducci
Barbara König
Viktor Vafeiadis
and all authors of the abstracts in this report

Cite AsGet BibTex

Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). In Dagstuhl Reports, Volume 5, Issue 11, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/DagRep.5.11.1

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.
Keywords
  • dynamic systems
  • graph transformation
  • graphs
  • heap analysis
  • separation logic
  • shape analysis
  • static analysis
  • verification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail