HAVOC: SMT solvers for precise and scalable reasoning of programs
put your abstract here
Shuvendu Lahiri
&
Shaz Qadeer
, Microsoft Research, Redmond, USA
put your bio here