Skip navigation
Skip navigation

Formal verification of unreliable failure detectors in partially synchronous systems

Atif, Muhammad; Mousavi, Mohammad Reza; Osaiweran, A


We formally verify four algorithms proposed in [M. Larrea, S. Arévalo and A. Fernández, Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems, 1999]. Each algorithm is specified as a network of timed automata an

CollectionsANU Research Publications
Date published: 2012
Type: Conference paper
Source: Proceedings of the ACM Symposium on Applied Computing
DOI: 10.1145/2245276.2245369


File Description SizeFormat Image
01_Atif_Formal_verification_of_2012.pdf108.75 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator