Distance-guided hybrid verification with GUIDO.

Smitha Shyam Valeria Bertacco

Published in: DATE (2006)

Keyphrases

distance measure
euclidean distance
distance function
model checking
artificial neural networks
distance transform
face verification
real time
machine learning
information systems
web services
hamming distance
formal analysis
formal verification
distance matrix