Verification Column.

Published in: ACM SIGLOG News (2023)

Keyphrases

model checking
formal verification
face verification
signature verification
asynchronous circuits
verification method
databases
social networks
information systems
data model
probabilistic model
false acceptance rate