@misc{indiciae44d2677d5b79,
  title = {DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs},
  author = {Aleksandr Fedchin and Antero Mejr and Hari Sundar and Jeffrey S. Foster},
  year = {2025},
  doi = {10.1145/3776705},
  url = {https://arxiv.org/abs/2512.18842},
  note = {Source identifier: 2512.18842}
}