A symbolic model checking appproach to verifying transact-SQL.
Rodrigo DianaHumberto Marques-NetoLuis Enrique ZárateMark A. J. SongPublished in: SMC (2012)
Keyphrases
- symbolic model checking
- model checking
- temporal logic
- relational databases
- model checker
- query language
- formal verification
- partial observability
- finite state
- conformant planning
- database
- database design
- formal specification
- binary decision diagrams
- database applications
- data model
- symbolic representation
- formal methods
- planning domains
- data mining
- object oriented
- np hard
- database systems
- artificial intelligence
- learning algorithm
- machine learning