Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Gopalakrishnan, Ganesh (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.)