A very informal talk I gave to Hausi Muller's group at UVic in June 2009. I have included, without permission, slides from Daniel Hook's excellent presentation at SE-CSE 2009 (http://www.cs.ua.edu/~SECSE09/schedule.htm).Leia menos