CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

The KeY System: Integrating Object-Oriented Design and Formal Methods

Wolfgang Ahrendt (Institutionen för datavetenskap) ; T. Baar ; B. Beckert ; Martin Giese ; E. Habermalz ; Reiner Hähnle (Institutionen för datavetenskap) ; W. Menzel ; Wojciech Mostowski (Institutionen för datavetenskap) ; P. Schmitt
Lecture Notes in Computer Science. 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 (0302-9743). Vol. 2306 (2002), p. 327-330.
[Konferensbidrag, refereegranskat]

This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project1, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.



Denna post skapades 2013-01-14.
CPL Pubid: 170479

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur