@misc{indiciae533ec53c88b7,
  title = {Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition},
  author = {William Schultz and Edward Ashton and Heidi Howard and Stavros Tripakis},
  year = {2026},
  url = {https://arxiv.org/abs/2404.18048},
  note = {Source identifier: 2404.18048}
}