Summary: KeY: A Formal Method for
Object-Oriented Systems
Wolfgang Ahrendt1
, Bernhard Beckert2
, Reiner H¨ahnle1
, and Peter H. Schmitt3
1
Department of Computer Science and Engineering
Chalmers University of Technology and G¨oteborg University
ahrendt|reiner@chalmers.se
2
Department of Computer Science
University of Koblenz
beckert@uni-koblenz.de
3
Department of Theoretical Computer Science
University of Karlsruhe
pschmitt@ira.uka.de
Abstract. This paper gives an overview of the KeY approach and high-
lights the main features of the KeY system. KeY is an approach (and a

Source: Ahrendt, Wolfgang - Department of Computer Science and Engineering, Chalmers University of Technology
Beckert, Bernhard - Fachbereich Informatik, Universität Koblenz-Landau

Collections: Computer Technologies and Information Sciences