Verification Column.

Published in: ACM SIGLOG News (2023)

Keyphrases

model checking
formal verification
asynchronous circuits
database
face verification
databases
computer vision
image processing
learning environment
hidden markov models
test generation
person identification
functional verification