ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:30 - 15:00 at S3 - III

We present a compositional framework to model check higher-order programs with free variables of arbitrary order. Our framework extends traditional symbolic execution techniques with operational game semantics to model external components and thus check open terms. The goal of this framework is to check a term, e.g.\ a library, independent of its dependencies. We call our technique a framework considering the ability of game semantics to model external components regardless of the language targeted by the symbolic execution.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30
IIIGaLoP at S3
13:30
60m
Talk
Model checking games: the recent advances on parity games
GaLoP
I: Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute
14:30
30m
Talk
A Framework for Compositional Model Checking
GaLoP
Yu-Yang Lin Queen Mary University of London, Nikos Tzevelekos Queen Mary University of London
15:00
30m
Talk
Modalities as prices: a game model of intuitionistic linear logic with subexponentials
GaLoP
Timo Lang Vienna University of Technology, Chris Fermüller Vienna University of Technology, Elaine Pimentel Federal University of Rio Grande do Norte, Brazil, Carlos Olarte Federal University of Rio Grande do Norte, Brazil