Using Uppaal for Verification of Priority Assignment in Real-Time Databases.
Martin KotPublished in: ICDIPC (2) (2011)
Keyphrases
- real time databases
- priority assignment
- model checking
- model checker
- concurrency control
- real time database systems
- active databases
- formal methods
- formal verification
- timing constraints
- higher priority
- concurrency control protocols
- description language
- real time
- multidatabase systems
- real time systems
- distributed database systems
- integrity constraints
- multi agent