DissProve: Automated Verification of Distributed Protocols with Affine Communication
arXiv:2606.24003
University of Colorado Boulder
35 pages
https://arxiv.org/abs/2606.24003
Reference
2026
DissProve: Automated Verification of Distributed Protocols with Affine Communication
Technical Report
(arXiv:2606.24003)