Referenced Items are not available for this document.
To contribute to the promotion of concurrency controllers for temporal databases, we propose in this paper to formally check the access concurrency control algorithm proposed using SPIN. This algorithm is based on the optimistic approach and must guarantee strong consistency for transaction time relations. SPIN provides a software model checking with a powerful tool to detect errors. It is an appropriate tool for analyzing the logical consistency of concurrent systems. The main target consists of retrieving and correcting blocking error type, on the one hand, and ensuring the validity of the considered system properties specified by temporal logic formulae, on the other hand
Published in:
Temporal Representation and Reasoning, 2006. TIME 2006. Thirteenth International Symposium on
Date of Conference: 15-17 June 2006
- Page(s):
- 160 - 167
- ISSN :
- 1530-1311
- Print ISBN:
- 0-7695-2617-9
- INSPEC Accession Number:
- 9077645
- Conference Location :
- Budapest
- Digital Object Identifier :
- 10.1109/TIME.2006.15
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
