@misc{indiciaec6ac75754366,
  title = {Combining model checking with simulation-based techniques for protocol verification},
  author = {Takanori Ishibashi and Kazuhiro Ogata},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17453},
  note = {Source identifier: 2607.17453}
}