activity
20172026
most citedAlone Together: Compositional Reasoning and Inference for Weak Isolation

17 citations · 20 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.PL2026

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…