Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
The
 Approach: Integrating Object Oriented Design and Formal Verification
| |
|
The
Approach: Integrating Object Oriented Design and Formal Verification
Wolfgang Ahrendt7, Thomas Baar7, Bernhard Beckert7, Martin Giese7, Elmar Habermalz7, Reiner Hähnle8  , Wolfram Menzel7 and Peter H. Schmitt7
| (7) |
Complexity and Deduction Systems, University of Karlsruhe, Institute for Logic, D-76128 Karlsruhe, Germany |
| (8) |
Department of Computing Science, Chalmers University of Technology, S-41296 Gothenburg |
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 specification and deductive verification.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|