On-the-Fly Verification with Stubborn Sets.

Published in: CAV (1993)

Keyphrases

model checking
image processing
weighted average
population size
concurrent systems
neural network
image segmentation
similarity measure
multiscale
search algorithm
genetic algorithm ga
face verification
formal verification