Formal Verification of Database Applications Using Predicate Abstraction.
Md. Imran AlamRaju HalderPublished in: SN Comput. Sci. (2021)
Keyphrases
- database applications
- formal verification
- bounded model checking
- model checking
- database design
- database management systems
- database
- databases
- database systems
- object oriented
- database technology
- model checker
- database server
- data access
- automated verification
- symbolic model checking
- visual basic
- first order logic
- sql server
- database development
- application developers
- data entry
- data model
- database programming
- high level
- database access
- oracle database
- data abstraction
- microsoft access
- data management
- data modeling
- relational databases
- cd rom
- data analysis
- management system
- metadata