The WhyRel Prototype for Relational Verification.

Ramana Nagasamudram Anindya Banerjee David A. Naumann

Published in: CoRR (2023)

Keyphrases

relational data
database
data model
relational databases
concurrent systems
face verification
test bed
databases
formal analysis
formal verification
asynchronous circuits
data sets
decision trees
multi agent
information systems
computer vision
artificial intelligence
multi relational
database language