Static Analysis of Digital Filters

We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that they can handle given classes of digital filters. We only have to design a class of symbolic properties that describe the invariants throughout filter iterations, and to describe how… CONTINUE READING



Citations per Year

155 Citations

Semantic Scholar estimates that this publication has 155 citations based on the available data.

See our FAQ for additional information.