Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings (2015)