MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The KeY tool." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

29 documents found, showing 1 through 10. Next 10 →

ATOM

The KeY Tool
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt — 2003
…Technical Report no. 2003-05 The KeY Tool 1 Wolfgang Ahrendt Thomas Baar Bernhard Beckert Richard…
Cited by 16 (4 self) – Add To MetaCart

Taclets and the KeY Prover
by The Key Prover, Martin Giese — 2003
… short overview of the KeY prover – which is the proof system belonging to the KeY tool [1] – from a user…
Add To MetaCart

OCL Specifications for the Java Card API
by Daniel Larsson, Wojciech Mostowski, Wolfgang Ahrendt — 2003
….e. it is used to express formally the requirements on a system. The KeY tool is a CASE tool, in which formal…
Cited by 1 (1 self) – Add To MetaCart

Verifying the Mondex case study
by Peter H. Schmitt, Universität Karlsruhe — 2007 — Proceedings, 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM
… using the KeY tool. The security properties to be proved are formalised in the Java Modelling Language…
Cited by 3 (1 self) – Add To MetaCart

Verifying the Mondex Case Study: the KeY approach
by Isabel Tonin — 2007
… Verification, Design by Contract, JavaCard, JML, KeY Tool Contents 1 Introduction 3 1.1 The Grand Challenge…
Cited by 1 (0 self) – Add To MetaCart

Automating verification of loops by parallelization
by Tobias Gedell, Reiner Hähnle — 2006 — Proc. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, volume 4246 of LNCS
… techniques to deal with loops. The method has been implemented in the KeY verification tool. We evaluated…
Cited by 2 (1 self) – Add To MetaCart

developed by: W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hahnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P.H. Schmitt, and others
by Information Security Eth, W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, P. H. Schmitt, Achim D. Brucker — 2004
…Seminar: Specification and Verification of Object-oriented Software The KeY Tool developed by: W…
Add To MetaCart

White-box testing by combining deduction-based specification extraction and black-box testing
by Bernhard Beckert, Christoph Gladisch — 2007 — Proceedings, Testing and Proofs
… tools. Another method combining testing and verification has been implemented in KeY that uses similar…
Cited by 8 (4 self) – Add To MetaCart

Static analysis and deductive verification of programs. Licentiate thesis
by Tobias Gedell, Tobias Gedell, C Tobias Gedell — 2006
… . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1 The KeY tool . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Combining Program Analysis…
Cited by 1 (1 self) – Add To MetaCart

Study with the KeY System
by Richard Bubel, Reiner Hähnle — 2003 — In Electronic Notes in Theoretical Computer Science
… In this paper we report on one of the first case studies done with the KeY tool. This is also one of the first…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB