Dynamic verifier for MPI programs