The KeY System: Integrating Object-Oriented Design and Formal Methods
Paper i proceeding, 2002

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.

Författare

Wolfgang Ahrendt

Chalmers, Institutionen för datavetenskap

T. Baar

B. Beckert

E. Habermalz

Reiner Hähnle

Chalmers, Institutionen för datavetenskap

W. Menzel

Wojciech Mostowski

Chalmers, Institutionen för datavetenskap

P. Schmitt

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 2306 327-330

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/3-540-45923-5_23

ISBN

978-3-540-43353-8

Mer information

Skapat

2017-10-08