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
Martin Giese
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 2306 327-330978-3-540-43353-8 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/3-540-45923-5_23
ISBN
978-3-540-43353-8