TY  - RPRT
TI  - DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
AU  - Aleksandr Fedchin
AU  - Antero Mejr
AU  - Hari Sundar
AU  - Jeffrey S. Foster
PY  - 2025
DO  - 10.1145/3776705
UR  - https://arxiv.org/abs/2512.18842
ID  - 2512.18842
ER  -