Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Verifying Real-time Commit Protocols Usi...

Al-Bataineh, Omar I....

Free

Share this content

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology by Al-Bataineh, Omar I. ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	21-08-2023
Summary	The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model checking tools have been developed based on that model. The paper considers the verification of real-time distributed commit protocols using dense-time model checking technology. More precisely, we model and verify the well-known timed two phase commit protocol in three different state-of-the-art real-time model checkers: UPPAAL, Rabbit, and RED, and compare the results.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1201.3416

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Al-Bataineh, Omar I.. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. Australian National University. August 21, 2023. Accessed September 17, 2024. https://online.provdatabase.com/cite/19908

APA 7th EditionReferences

Al-Bataineh, Omar I.. (2023). Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. Australian National University. https://online.provdatabase.com/cite/19908

Chicago 17th EditionReferences

Al-Bataineh, Omar I.. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. Australian National University. 2023. https://online.provdatabase.com/cite/19908

HarvardReferences

Al-Bataineh, Omar I.. (2023). Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/19908. (Accessed 17 September 2024).

Harvard AustraliaReferences

Al-Bataineh, Omar I., 2023, Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology, Australian National University, viewed 17 September 2024, <https://online.provdatabase.com/cite/19908>

MLA 9th EditionWorks Cited

Al-Bataineh, Omar I.. Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/19908.

Share this eBook