Verification column.

Published in: ACM SIGLOG News (2018)

Keyphrases

model checking
genetic algorithm
decision trees
asynchronous circuits
concurrent systems
real time
data sets
databases
data mining
feature selection
metadata
hidden markov models
face verification
formal methods
formal analysis
person identification