Verification Column.

Published in: ACM SIGLOG News (2023)

Keyphrases

model checking
concurrent systems
column oriented
formal verification
high security
neural network
face verification
formal methods
database
learning algorithm
decision trees
hidden markov models
temporal logic
fingerprint verification
asynchronous circuits