DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs

Aleksandr Fedchin, Antero Mejr, Hari Sundar +1

The Message Passing Interface (MPI) is widely used in parallel, high-performance programming, yet writing bug-free software that uses MPI remains difficult. We introduce DafnyMPI,…