Constraint-Based Relational Verification.
Hiroshi UnnoTachio TerauchiEric KoskinenPublished in: CAV (1) (2021)
Keyphrases
- relational data
- relational databases
- model checking
- constraint satisfaction
- formal verification
- relational learning
- data model
- signature verification
- verification method
- real time
- asynchronous circuits
- face verification
- entity relationship
- probabilistic relational models
- database
- statistical relational learning
- databases and data warehouses
- formal analysis
- formal methods
- multi relational
- database schema
- object oriented
- databases