Bounded model checking for fixed-point digital filters.
Renato B. AbreuMikhail Y. R. GadelhaLucas C. CordeiroEddie Batista de Lima FilhoWaldir Sabino da Silva Jr.Published in: J. Braz. Comput. Soc. (2016)
Keyphrases
- fixed point
- digital filters
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- sufficient conditions
- low pass filter
- multi agent systems
- dynamical systems
- median filter
- floating point
- fir filters
- image analysis
- probability distribution
- genetic algorithm
- higher order
- three dimensional