Verification Column.

Published in: ACM SIGLOG News (2023)

Keyphrases

model checking
asynchronous circuits
formal verification
machine learning
search algorithm
person identification
verification method
real world
computer vision
recommender systems
hidden markov models
test generation