Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
KeY: A Formal Method for Object-Oriented Systems
 

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