KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA820009

The KeY approach: integrating object oriented design and formal verification

Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Haehnle, Reiner; Menzel, Wolfram; Schmitt, Peter H.

Abstract:
This paper reports on the ongoing KeY project aimed at bridging
the gap between (a) OO software engineering methods and tools
and (b) deductive verification. A distinctive feature of our
approach is the use of a commercial CASE tool enhanced with
functionality for formal specification and deductive
verification.


Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Forschungsbericht
Jahr 2000
Sprache Englisch
Identifikator ISSN: 1432-7864
KITopen ID: 82000
Verlag Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2000,4
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page