Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic Florian Schupfer Michael Rathmair Christoph Grimm

Published in: FDL (2012)

Keyphrases

signal processing
image processing
intelligent systems
model checking
computer vision
complex systems
distributed systems
learning systems
formal methods
security systems
automated verification
decision trees
digital libraries
image registration
fourier transform
affine transformation