Parameterized safety verification of round-based shared-memory systems

Nathalie Bertrand, Nicolas Markey, Ocan Sankur +1

We consider the parameterized verification problem for distributed algorithms where the goal is to develop techniques to prove the correctness of a given algorithm regardless of th…