Verification column.

Published in: ACM SIGLOG News (2020)

Keyphrases

model checking
formal verification
databases
neural network
face verification
data sets
concurrent systems
verification method
asynchronous circuits
decision making
database systems
multiscale
query processing
distributed systems
three dimensional
temporal logic
computer vision
machine learning
real world
database