License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.5.5.1
URN: urn:nbn:de:0030-drops-53565
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5356/
Go back to Dagstuhl Reports


Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
Weitere Beteiligte (Hrsg. etc.): Lars Birkedal and Derek Dreyer and Philippa Gardner and Zhong Shao

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)

pdf-format:
dagrep_v005_i005_p001_s15191.pdf (1 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency". The seminar was successful and facilitated a stimulating interchange between the theory and practice of concurrent programming, and thereby laid the ground for the development of compositional verification methods that can scale to handle the realities of next-generation concurrency.

BibTeX - Entry

@Article{birkedal_et_al:DR:2015:5356,
  author =	{Lars Birkedal and Derek Dreyer and Philippa Gardner and Zhong Shao},
  title =	{{Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)}},
  pages =	{1--23},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Lars Birkedal and Derek Dreyer and Philippa Gardner and Zhong Shao},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5356},
  URN =		{urn:nbn:de:0030-drops-53565},
  doi =		{10.4230/DagRep.5.5.1},
  annote =	{Keywords: Verification of Concurrent Programs (Models, Logics, Automated Analysis), Concurrent Programming}
}

Keywords: Verification of Concurrent Programs (Models, Logics, Automated Analysis), Concurrent Programming
Seminar: Dagstuhl Reports, Volume 5, Issue 5
Issue Date: 2015
Date of publication: 16.12.2015


DROPS-Home | Fulltext Search | Imprint Published by LZI