Performance Verification.

Sovanna Thai Clement Roos Jean-Marc Biannic

Published in: ACC (2019)

Keyphrases

model checking
formal verification
concurrent systems
signature verification
learning algorithm
face recognition
face verification
asynchronous circuits
genetic algorithm
test generation