MPI Runtime Correctness Analysis: MUST detects usage errors of the Message Passing Interface (MPI) and reports them to the user.
Used by CoE: POP
Main uses: MPI runtime correctness analysis
BSD-style license agreement
