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