Effective Partial Order Reduction in Model Checking Database Applications.
Maryam Abdul GhafoorMuhammad Suleman MahmoodJunaid Haroon SiddiquiPublished in: ICST (2016)
Keyphrases
- model checking
- partial order reduction
- database applications
- temporal logic
- petri net
- object oriented
- database management systems
- databases
- automated verification
- database server
- formal specification
- formal verification
- database design
- temporal properties
- model checker
- data access
- database systems
- database
- visual basic
- database technology
- symbolic model checking
- finite state machines
- timed automata
- reachability analysis
- formal methods
- computation tree logic
- sql server
- epistemic logic
- pspace complete
- verification method
- database development
- transition systems
- relational databases
- bounded model checking
- np complete
- database programming
- concurrent systems
- satisfiability problem
- client server
- data model
- oracle database