KIT | KIT-Bibliothek | Impressum | Datenschutz

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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/82000
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2000
Sprache Englisch
Identifikator ISSN: 1432-7864
urn:nbn:de:swb:90-AAA820009
KITopen-ID: 82000
Verlag Universität Karlsruhe, 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