An Approach to Verification of MPI Applications Defined in a High-Level Model | IEEE Conference Publication | IEEE Xplore