| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Formal Analysis of a Distributed Algorithm for Tracking Progress
Abstract : Tracking the progress of computations can be both important and
delicate in distributed systems. In a recent distributed algorithm
for this purpose, each processor maintains a delayed view of the
pending work, which is represented in terms of points in virtual
time. This paper presents a formal specification of that algorithm
in the temporal logic TLA, and describes a mechanically verified
correctness proof of its main properties.
Cited literature [12 references]
https://hal.inria.fr/hal-01515239
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, April 27, 2017 - 10:46:45 AM
Last modification on : Thursday, July 25, 2019 - 3:06:02 PM
Long-term archiving on: : Friday, July 28, 2017 - 12:39:26 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, April 27, 2017 - 10:46:45 AM
Last modification on : Thursday, July 25, 2019 - 3:06:02 PM
Long-term archiving on: : Friday, July 28, 2017 - 12:39:26 PM
File
978-3-642-38592-6_2_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License