2016 May 23. Verification of MPI programs using spin. Undergraduate Research Abstracts Journal (2001-2008). [Online] 4: