Formal Methods in System Design University of Utah School of Computing Ganesh Gopalakrishnan, Instructor Greg Szubzda, half-TA cs6110.