Predicate Pairing with Abstraction for Relational Verification.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: LOPSTR (2017)
Keyphrases
- hardware designs
- bounded model checking
- relational databases
- model checking
- relational data
- data model
- statistical relational learning
- high level
- first order logic
- relational learning
- formal verification
- neural network
- decision theoretic planning
- face verification
- multi relational
- relational model
- signature verification
- relational queries
- fingerprint verification
- verification method
- case study
- social networks
- database
- probabilistic relational models