Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

Details Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

2012-01-17

arxiv.org/abs/1201.3416v1

Computer Science

Software Engineering

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-96631