1. |
- Ahrendt, Wolfgang, 1967, et al.
(author)
-
KeY: A Formal Method for Object-Oriented Systems
- 2007
-
In: Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen. ; 4468, s. 32-43
-
Conference paper (peer-reviewed)
|
|
2. |
- Ahrendt, Wolfgang, 1967, et al.
(author)
-
Verifying Object-Oriented Programs with KeY: A Tutorial
- 2007
-
In: Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever. - 9783540747918 ; LNCS 4709
-
Conference paper (peer-reviewed)abstract
- This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fill the gap between elementary introductions using toy examples and state-of-art case studies by going through a self-contained, yet non-trivial, example. It is hoped that this contributes to explain the problems encountered in verification of imperative, object-oriented programs to a readership outside the limited community of active researchers.
|
|
3. |
- Beckert, Bernhard, et al.
(author)
-
The KeY system 1.0 (Deduction Component)
- 2007
-
In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540735946 ; 4603, s. 379-384
-
Conference paper (peer-reviewed)
|
|