2016 May 23. Discovering the hard to find bugs using formal methods to find defects in hardware & software systems. Undergraduate Research Abstracts Journal (2001-2008). [Online] 2: