Discrete Math and Reasoning about Software Correctness Joseph E. Hollingsworth ([email protected]) Murali Sitaraman ([email protected]) http://www.cs.clemson.edu/group/resolve/…