TY  - RPRT
TI  - Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
AU  - William Schultz
AU  - Edward Ashton
AU  - Heidi Howard
AU  - Stavros Tripakis
PY  - 2026
UR  - https://arxiv.org/abs/2404.18048
ID  - 2404.18048
ER  -