Exploiting Synchrony and Symmetry in Relational Verification.

Lauren Pick Grigory Fedyukovich Aarti Gupta

Published in: CAV (1) (2018)

Keyphrases

model checking
relational data
relational databases
relational learning
face verification
artificial intelligence
data model
formal analysis
bilateral symmetry
database
web services
case study
face recognition
data warehouse