Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun (Springer International Publishing : Imprint: Springer, 2015)