@Article{         Al-BatainehReynoldsFrenchWoodings,
  Author        = "Al-Bataineh, Omar I. and Reynolds, Mark and French, Tim and Woodings, Terry",
  Abstract      = "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.",
  date-added    = "2014-10-13 09:59:17 +0000",
  date-modified = "2014-10-13 09:59:17 +0000",
  EPrint        = "1201.3416",
  Month         = "01",
  Title         = "Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology",
  URL           = "http://arxiv.org/abs/1201.3416",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1201.3416",
  File          = "Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology - Al-Bataineh, Reynolds, French, Woodings (0) (0) - a - a - t.pdf"
}

@Article{ Al-BatainehReynoldsFrenchWoodings, Author = "Al-Bataineh, Omar I. and Reynolds, Mark and French, Tim and Woodings, Terry", Abstract = "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.", date-added = "2014-10-13 09:59:17 +0000", date-modified = "2014-10-13 09:59:17 +0000", EPrint = "1201.3416", Month = "01", Title = "Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology", URL = "http://arxiv.org/abs/1201.3416", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1201.3416", File = "Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology - Al-Bataineh, Reynolds, French, Woodings (0) (0) - a - a - t.pdf" }