TY  - RPRT
TI  - Scenario Proofs for Verification of Distributed Protocols
AU  - Zhendong Ang
AU  - George Pîrlea
AU  - Umang Mathur
PY  - 2026
UR  - https://arxiv.org/abs/2610.15408
ID  - 2610.15408
ER  -