Report - Leonardo de Moura Microsoft Research. Verification/Analysis tools need some form of Symbolic Reasoning.

Please pass captcha verification before submit form