@misc{indiciae13b2c9ed05e6,
  title = {Automating and Mechanizing Cutoff-based Verification of Distributed Protocols},
  author = {Shreesha G. Bhat and Kartik Nagar},
  year = {2022},
  url = {https://arxiv.org/abs/2211.15175},
  note = {Source identifier: 2211.15175}
}