Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Formal verification of unreliable failure detectors in partially synchronous systems

Request a Copy

link to publisher version

  • Altmetric Citations

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

dc.contributor.authorAtif, Muhammad
dc.contributor.authorMousavi, Mohammad Reza
dc.contributor.authorOsaiweran, A
dc.coverage.spatialTrento
dc.date.accessioned2015-12-13T22:22:48Z
dc.date.createdMarch 26-30 2012
dc.identifier.isbn9781450308571
dc.identifier.urihttp://hdl.handle.net/1885/72439
dc.description.abstractWe 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
dc.publisherAssociation for Computing Machinery (ACM)
dc.relation.ispartofseries27th Annual ACM Symposium on Applied Computing, SAC 2012
dc.sourceProceedings of the ACM Symposium on Applied Computing
dc.subjectKeywords: Buffer overflows; Failure Detectors; Formal verifications; Large buffer; Model checking tools; Synchronous system; Timed Automata; Unreliable failure detector; Model checking; Parallel algorithms; Algorithms distributed algorithms; failure detectors; formal verification; model checking
dc.titleFormal verification of unreliable failure detectors in partially synchronous systems
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2012
local.identifier.absfor080100 - ARTIFICIAL INTELLIGENCE AND IMAGE PROCESSING
local.identifier.ariespublicationU3488905xPUB3246
local.type.statusPublished Version
local.contributor.affiliationAtif, Muhammad, College of Engineering and Computer Science, ANU
local.contributor.affiliationMousavi, Mohammad Reza, Eindhoven University of Technology
local.contributor.affiliationOsaiweran, A, Eindhoven University of Technology
local.description.embargo2037-12-31
local.bibliographicCitation.startpage478
local.bibliographicCitation.lastpage480
local.identifier.doi10.1145/2245276.2245369
dc.date.updated2016-02-24T10:04:41Z
local.identifier.scopusID2-s2.0-84863593444
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Atif_Formal_verification_of_2012.pdf108.75 kBAdobe PDF    Request a copy
Show simple item record


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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator