Statistical Model Checking for Real-Time Database Management Systems: A Case Study.
Simin CaiBarbara GallinaDag NyströmCristina SeceleanuPublished in: ETFA (2019)
Keyphrases
- database management systems
- model checking
- temporal logic
- data management
- database applications
- data model
- model checker
- formal verification
- database systems
- formal specification
- data types
- management system
- automated verification
- database
- temporal properties
- verification method
- symbolic model checking
- concurrency control
- finite state machines
- formal methods
- database technology
- reachability analysis
- concurrent systems
- bounded model checking
- distributed database systems
- index structure
- timed automata
- transition systems
- database design
- transaction management
- relational database systems
- modal logic
- asynchronous circuits
- real time systems
- planning domains
- linear temporal logic
- query processing
- data structure
- epistemic logic
- binary decision diagrams
- multi agent systems
- transaction processing