Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Browse the full CAV paper archive.