Software Verification in the Google App-Engine Cloud. - Dirk Beyer 001; Georg Dresler; Philipp Wendler (CAV, 2014)