Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings - Gopalakrishnan, Ganesh; Qadeer, Shaz (Springer Berlin Heidelberg : Imprint: Springer, 2011)