DissProve: Automated Verification of Asynchronous Distributed Protocols with Affine Communication

Christian Fontenot, Gowtham Kaki, Bor-Yuh Evan Chang

We consider the problem of automatically proving safety properties of distributed protocols. Distributed protocols have been particularly challenging for automated verification due…