Verification column.

Published in: ACM SIGLOG News (2018)

Keyphrases

model checking
face verification
formal methods
formal verification
person identification
verification method
concurrent systems
computer vision
web services
hidden markov models
temporal logic
signature verification
false acceptance rate