ETAPS 2019 (series) / GaLoP 2019 (series) / 14th Workshop on Games for Logic and Programming Languages /
A Framework for Compositional Model Checking
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:30 | |||
13:30 60mTalk | Model checking games: the recent advances on parity games GaLoP | ||
14:30 30mTalk | A Framework for Compositional Model Checking GaLoP | ||
15:00 30mTalk | 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 |