Keyphrases
- database applications
- model checking
- temporal logic
- database management systems
- database design
- object oriented
- model checker
- database technology
- automated verification
- databases
- temporal properties
- database systems
- finite state machines
- formal specification
- data access
- database
- formal verification
- visual basic
- symbolic model checking
- verification method
- database server
- sql server
- database development
- epistemic logic
- timed automata
- bounded model checking
- formal methods
- oracle database
- concurrent systems
- management system
- computation tree logic
- database programming
- transition systems
- linear temporal logic
- data management