Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers - Gurfinkel, Arie; Seshia, Sanjit A. (Springer International Publishing : Imprint: Springer, 2016)