Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs

Abstract

Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter machine models. Applying these methods on synchronous data-flow programs with Boolean and numerical variables, e.g. Lustre programs, firstly requires the enumeration of the Boolean states in order to obtain a control graph with numerical variables only. Secondly, acceleration methods have to deal with the non-determinism introduced by numerical input variables. In this article we address the latter problem by extending the concept of abstract acceleration of Gonnord et al. to numerical input variables.
Fichier principal
Vignette du fichier
accelpart.pdf (224.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00749914 , version 1 (08-11-2012)

Identifiers

Cite

Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.101-114, ⟨10.1016/j.entcs.2010.09.009⟩. ⟨hal-00749914⟩
179 View
135 Download

Altmetric

Share

Gmail Facebook X LinkedIn More