Towards Verification via Supercompilation.

Alexei Lisitsa Andrei P. Nemytykh

Published in: COMPSAC (2) (2005)

Keyphrases

model checking
data sets
formal verification
signature verification
face verification
neural network
cryptographic protocols
feature selection
asynchronous circuits
database
test generation
formal analysis
wireless sensor networks
evolutionary algorithm
image segmentation
computer vision
genetic algorithm
databases