. Discovering the hard to find bugs using formal methods to find defects in hardware & software systems. Undergraduate Research Abstracts Journal (2001-2008), [S.l.], v. 2, may 2016. Available at: <https://epubs.utah.edu/index.php/uraj/article/view/1717>. Date accessed: 05 mar. 2024.