" Eddy: a farallel framework for model checking?" Undergraduate Research Abstracts Journal (2001-2008) [Online], Volume 6(23 May 2016)