Slide 1Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Slide 2 Software analysis/verification tools need some form…