Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.

Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

Browse the full VMCAI paper archive.