Skip navigation
Skip navigation

Formal verification of unreliable failure detectors in partially synchronous systems

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

Description

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
URI: http://hdl.handle.net/1885/72439
Source: Proceedings of the ACM Symposium on Applied Computing
DOI: 10.1145/2245276.2245369

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator