Static Analysis of Digital Filters
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Relational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsPublished by Springer Nature ,2004
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwarePublished by Springer Nature ,2002
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Affine relationships among variables of a programActa Informatica, 1976