Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.

Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran

Browse the full SAC paper archive.