From non-zenoness verification to termination.

Pierre Ganty Samir Genaim Ratan Lal Pavithra Prabhakar

Published in: MEMOCODE (2015)

Keyphrases

model checking
verification method
face verification
real world
person identification
asynchronous circuits
data sets
machine learning
information retrieval
artificial intelligence
computer vision
formal methods
active rules
high security
false acceptance rate
term rewriting