(2016). Discovering the hard to find bugs using formal methods to find defects in hardware & software systems. Undergraduate Research Abstracts Journal (2001-2008), 2. Retrieved from https://epubs.utah.edu/index.php/uraj/article/view/1717