@conference {599, title = {The KeY Platform for Verification and Analysis of Java Programs}, booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments}, year = {2014}, author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich} }