" Discovering the hard to find bugs using formal methods to find defects in hardware & software systems." Undergraduate Research Abstracts Journal (2001-2008) [Online], 2 (2002): n. pag. Web. 24 Feb. 2024