Verige: verification with invariant generation engine.

Nicolas Latorre Francesco Alberti Natasha Sharygina

Published in: SPIN (2014)

Keyphrases

affine transformation
invariant features
formal verification
model checking
high security
data sets
signature verification
generation algorithm
image processing
knowledge base
computer vision
formal analysis
generation process
search engine
learning algorithm
information retrieval
machine learning