Assisted verification of elementary functions using Gappa.
Florent de DinechinChristoph Quirin LauterGuillaume MelquiondPublished in: SAC (2006)
Keyphrases
- elementary functions
- gabor filters
- model checking
- face verification
- morphological operators
- formal verification
- data mining
- temporal logic
- formal analysis
- learning algorithm
- asynchronous circuits
- gray scale
- texture analysis
- object recognition
- image segmentation
- feature selection
- fingerprint verification
- multimodal biometrics
- data sets