(2016). Verification of MPI programs using spin. Undergraduate Research Abstracts Journal (2001-2008), 4. Retrieved from https://epubs.utah.edu/index.php/uraj/article/view/1834