The KEY Approach: Integrating Object Oriented Design and Formal Verification (2000)
Cached
Download Links
- [i12www.ira.uka.de]
- [i12www.ira.uka.de]
- [www.cs.chalmers.se]
- [i12www.ira.uka.de]
- [www.math.chalmers.se]
- [www.cs.chalmers.se]
- [www.cse.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Wolfgang Ahrendt
,
Thomas Baar
,
Bernhard Beckert
,
Martin Giese
,
Elmar Habermalz
,
Reiner Hähnle
,
Wolfram Menzel
,
Peter H. Schmitt
| Citations: | 43 - 18 self |
BibTeX
@MISC{Ahrendt00thekey,
author = {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert and Martin Giese and Elmar Habermalz and Reiner Hähnle and Wolfram Menzel and Peter H. Schmitt},
title = {The KEY Approach: Integrating Object Oriented Design and Formal Verification},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented 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 specifiation and deductive verification.
