10252 Executive Summary – Game Semantics and Program Verification

Authors Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz



PDF
Thumbnail PDF

File

DagSemProc.10252.2.pdf
  • Filesize: 129 kB
  • 5 pages

Document Identifiers

Author Details

Paul-Andre Mellies
Andrzej S. Murawski
Andrea Schalk
Igor Walukiewicz

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

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)
    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