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