Relational Verification Using Product Programs.
Gilles BartheJuan Manuel CrespoCésar KunzPublished in: FM (2011)
Keyphrases
- symbolic execution
- relational databases
- life cycle
- hardware designs
- relational data
- data model
- model checking
- product quality
- relational learning
- computer programs
- multi relational
- face verification
- product design
- concurrent systems
- automatic programming
- website
- product development
- formal methods
- database schema
- entity relationship
- relational model
- product information
- test generation
- logic programs
- programming language
- object oriented
- data sets
- probabilistic relational models