Slide 1 Nikolaj Bjørner and Leonardo de Moura Microsoft Research Microsoft Corporation McMaster University, November 28, 2007 Slide 2 Verificationeering @ Microsoft Introducing…