Verification column.

Published in: ACM SIGLOG News (2018)

Keyphrases

model checking
formal verification
verification method
genetic algorithm
evolutionary algorithm
column oriented
functional verification
machine learning
learning algorithm
metadata
image processing
face verification
signature verification