Verification of MPI programs using spin (Undergraduate Research Abstracts Journal (2001-2008), 2016)