DissProve demonstrates automated safety verification for parametric asynchronous distributed protocols classified as affine by backward unreachability using novel materialization, causality, and summarization.
Wilcox, Steve Anton, Zachary Tatlock, Michael D
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
DissProve: Automated Verification of Distributed Protocols with Affine Communication
DissProve demonstrates automated safety verification for parametric asynchronous distributed protocols classified as affine by backward unreachability using novel materialization, causality, and summarization.