Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
Renato B. AbreuLucas C. CordeiroEddie B. L. FilhoPublished in: CoRR (2013)
Keyphrases
- fixed point
- digital filters
- bounded model checking
- model checking
- temporal logic
- formal verification
- finite state
- discrete wavelet transform
- floating point
- sufficient conditions
- dynamical systems
- transfer function
- linear temporal logic
- low pass filter
- fir filters
- genetic algorithm
- neural network
- belief propagation
- median filter
- multi agent systems
- pairwise
- markov random field
- image sequences