A Formal Verification Methodology for Checking Data Integrity
Yasushi UmezawaTakeshi ShimizuPublished in: CoRR (2007)
Keyphrases
- formal verification
- data integrity
- model checking
- distributed databases
- database design
- data storage
- model checker
- database systems
- bounded model checking
- symbolic model checking
- automated verification
- client server
- database
- active databases
- temporal logic
- stored procedures
- databases
- description language
- data integration
- database applications
- artificial intelligence