Relational Verification via Invariant-Guided Synchronization.
Qi ZhouDavid HeathWilliam HarrisPublished in: HCVS/PERR@ETAPS (2019)
Keyphrases
- relational data
- relational databases
- model checking
- data model
- affine transformation
- person identification
- functional verification
- statistical relational learning
- moment invariants
- face verification
- phase locked
- concurrent systems
- formal analysis
- database
- relational learning
- database schema
- machine learning
- neural network
- affine invariant
- music score
- learning algorithm
- verification method
- database language
- invariant properties
- asynchronous circuits
- fingerprint verification
- multimedia
- image sequences
- formal verification
- entity relationship
- feature vectors
- programming language