Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal.

Published in: DATESO (2010)

Keyphrases

real time databases
priority assignment
model checking
real time database systems
active databases
concurrency control
databases
model checker
formal verification
concurrency control protocols
timing constraints
database