Verification column.

Published in: ACM SIGLOG News (2021)

Keyphrases

model checking
face verification
formal verification
high security
real time
decision trees
neural network
decision making
face recognition
learning environment
rows and columns
concurrent systems