D. Van Hung and H. Van Huong (Macao)
Real-time Database, Concurrency Control, Duration Cal culus.
In this paper, we give a formal model for real-time database systems using Duration Calculus. Our model supports the formal reasoning about the operations in the systems. As a case study for our technique, we give a formal specification and verification of the Read/Write Priority Ceiling Protocol (R/WPCP).
Important Links:
Go Back
