Enhancing Predicate Pairing with Abstraction for Relational Verification.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: CoRR (2017)
Keyphrases
- hardware designs
- model checking
- bounded model checking
- relational databases
- face verification
- relational data
- high level
- first order logic
- verification method
- multi agent
- statistical relational learning
- formal verification
- signature verification
- database schema
- data model
- entity relationship
- multi relational
- data abstraction
- relational learning
- concurrent systems
- false acceptance