Bounded verification of Ruby on Rails data models.
Jaideep NijjarTevfik BultanPublished in: ISSTA (2011)
Keyphrases
- data model
- databases
- database systems
- query language
- data integration
- relational model
- model checking
- database design
- object oriented
- database
- verification method
- data types
- face verification
- data modeling
- artificial neural networks
- case study
- data sources
- database technology
- relational algebra
- object model
- person identification
- database integration
- formal verification
- asynchronous circuits
- concurrent systems
- signature verification
- temporal logic
- xml documents
- relational databases
- machine learning
- real world
- data sets