DagRep.5.5.1.pdf
- Filesize: 1.1 MB
- 23 pages
Document
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 5, Issue 5
Volume: Dagstuhl Reports, Volume 5
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-12-16
Cite AsGet BibTex
Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao. Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). In Dagstuhl Reports, Volume 5, Issue 5, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/DagRep.5.5.1
https://doi.org/10.4230/DagRep.5.5.1
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.
Keywords
- Verification of Concurrent Programs (Models
- Logics
- Automated Analysis)
- Concurrent Programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads