A Formal Verification Methodology for Checking Data Integrity.
Yasushi UmezawaTakeshi ShimizuPublished in: DATE (2004)
Keyphrases
- formal verification
- data integrity
- database design
- model checking
- distributed databases
- database systems
- data storage
- client server
- automated verification
- symbolic model checking
- database
- databases
- bounded model checking
- model checker
- artificial intelligence
- data mining
- database management
- temporal logic
- business process
- case study