Automatic verification of recursive procedures with one integer parameter.

Ahmed Bouajjani Peter Habermehl Richard Mayr

Published in: Theor. Comput. Sci. (2003)

Keyphrases

evolutionary algorithm
parameter values
floating point
input parameters
feature selection
image segmentation
special case
statistical methods
iterative refinement