" Improved light hashing algorithmn for murphi model checker" Undergraduate Research Abstracts Journal (2001-2008) [Online], Volume 5(23 May 2016)