DagSemProc.10252.2.pdf
- Filesize: 129 kB
- 5 pages
Document
10252 Executive Summary – Game Semantics and Program Verification
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 10252
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-11-02
Cite AsGet BibTex
Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz. 10252 Executive Summary – Game Semantics and Program Verification. In Game Semantics and Program Verification. Dagstuhl Seminar Proceedings, Volume 10252, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.10252.2
https://doi.org/10.4230/DagSemProc.10252.2
Abstract
The seminar took place from 20th until 25th June 2010.
Its primary aim was to foster interaction between researchers
working on modelling programs/proofs using games and
the verification community. The meeting brought together
28 researchers from eight different countries,
both junior and senior, for a systematic assessment of what
the two areas have to offer to one another,
critical evaluation of what has been achieved so far,
with a view to establishing common research goals for the future.
Keywords
- Software verification
- Semantics of programming languages
- Game semantics
- Static analysis
- Model checking
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads