×

The KEY system: Integrating object-oriented design and formal methods. (English) Zbl 1059.68548

Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 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. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 327-330 (2002).
Summary: This paper gives a brief description of the KEY system, a tool written as part of the ongoing KEY project, 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.
For the entire collection see [Zbl 0989.00047].

MSC:

68N99 Theory of software

Software:

KeY
PDFBibTeX XMLCite
Full Text: Link