Document Open Access Logo

10252 Executive Summary – Game Semantics and Program Verification

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

PDF

File

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

Document Identifiers

Subject Classification

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
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Paul-Andre Mellies
Andrzej S. Murawski
Andrea Schalk
Igor Walukiewicz
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact