The KeY System: Integrating Object-Oriented Design and Formal Methods

@inproceedings{Ahrendt2002TheKS,
  title={The KeY System: Integrating Object-Oriented Design and Formal Methods},
  author={Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert and Martin Giese and Elmar Habermalz and Reiner H{\"a}hnle and Wolfram Menzel and Wojciech Mostowski and Peter H. Schmitt},
  booktitle={FASE},
  year={2002}
}
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project, 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. 
21 Citations
6 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…