Controlling Polyvariance for Specialization-based Verification.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: Fundam. Informaticae (2013)

Keyphrases

model checking
signature verification
formal verification
genetic algorithm
image processing
computer vision
image segmentation
multi agent
search algorithm
multiresolution
digital images
formal methods
person identification
concurrent systems