Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)

Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2

Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While…