Explaining Verification Conditions.

Ewen Denney Bernd Fischer

Published in: AMAST (2008)

Keyphrases

sufficient conditions
signature verification
case study
neural network
data sets
formal verification
model checking
image processing
handwritten signature verification
distributed systems
probabilistic model
digital libraries
wide range
genetic algorithm
information retrieval
machine learning
real world