Verimag

Détails sur le séminaire

salle A. Pnueli CE3
31 mars 2014 - 14h30
Decision Procedures for Flat Array Properties
par Francesco Alberti de University of Lugano and VERIMAG



Abstract: We present new decidability results for quantified fragments of theories of arrays.
Our decision procedures are fully declarative, parametric in the theories of indexes and elements and orthogonal with respect to known results.
We also discuss applications to the analysis of programs handling arrays.
This is a joint work with S. Ghilardi and N. Sharygina




Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876093