An Automata-Theoretic Approach to the Verification of Distributed Algorithms

C. Aiswarya, Benedikt Bollig, Paul Gastin

We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arbitrary number of processes coop…