2010/01/01 by Paul-André Melliès, Mellies, Paul-Andre, Andrzej S. Murawski +5
Computer Science · #Software Engineering Research #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
paper · doi:10.4230/dagsemproc.10252.2
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.