FEV’s Greatest Bloopers: False Positives in Formal Equivalence Erik Seligman CS 510, Lecture 7, January 2009 (Adapted from Seligman/Kim paper in DVCon 2007) Agenda Introduction:…
