Numerical Abstract Domains for Digital Filters⋆

Abstract

We design specific domains for analyzing digital filtering. Digital filtering consists in implementing numerical recursions: the value of a variable S (the output) is computed from a fixed finite number of the last consecutive values of the variable S and from a fixed finite number of the last consecutive values of another variable E (the input). Our… (More)

Topics

Cite this paper

@inproceedings{Feret2007NumericalAD, title={Numerical Abstract Domains for Digital Filters⋆}, author={J{\'e}r{\^o}me Feret}, year={2007} }