Introduces inductive proof decomposition using proof graphs for interactive safety verification of distributed protocols including Raft.
In The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13, Rome, Italy - January 23 - 25, 2013 (2013), R
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
Introduces inductive proof decomposition using proof graphs for interactive safety verification of distributed protocols including Raft.