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