(I Can't Get No) Verification (Keynote).

Atsushi Igarashi

Published in: SPLASH Companion (2022)

Keyphrases

model checking
key issues
face verification
real time
genetic algorithm
formal analysis
fingerprint verification
machine learning
artificial intelligence
knowledge base
computational intelligence
person identification
asynchronous circuits
high security
verification method
concurrent systems