Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Parthasarathy, Madhusudan.; Parthasarathy, Madhusudan.; Seshia, Sanjit A.; Seshia, Sanjit A. (Springer Berlin Heidelberg : Imprint: Springer, 2012)